SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  (I 4T ]/ Abortable_Linearizable_Modules:threads=2elapsed=57.822cpu=92.544gc=3.644factor=1.607zXZִF! T]ŗXf1-/6vRZ\RZܸvkp {Xjas-\_D>3Yw?;7WHe^Xk^"`s{E@ֽk踱v[Mנ֬9~'N@0g2| s`|@8-OkH>jT,_oa4Gq%T/Y-w->l:U|-ȴb;0ɤۀ?C7W/'gCS琋F%B]}-%Q}uu N$~yA6Z>,{s/&l*$*5dXAvJ/mYӬ|r]420QDyqu'*e6M g ?ۿ*P| >z8f$T% Jm9ӧ$ E|lIZԄ5fVݑlx?)YrrTq0 KeG&m^ˋ$ټ վ^'tZ7p7U((C2;M.9$ѻ挲Ps{jdZZg"kHg |#ns*ɺ$r >Ր^is)31(lFʑmܡ?nShFL[L5oxSX;6Tnp$旾?t4z7U1tsH؁y=‚3‹ALMY!taXwt nsz"u ڰqGU1OkAD#&-< AA"@z퇙gCZ۲t>I<F5^A#ƏzRS'kKģAE!$`>>.awB0Ģ}*-imX1;?_Wɯl"{ .·W@ּ4(IEs?G"15TqCڼ*7,؇QhĆTCh#Dfhҝ2ch0cDB#i))3#M$b/@f'oɅ[oK c=$ӕVπ;ǸK@rMGƩHnOo˜{U;i %gYZ7zXZִF! ]ŗXiɟ>vbR6{{]GBzzMٟޞ0 $Qb0 X /iBU~L]2^ya\sCkp7Uh{|\+[9~Bh+('{>{,29v=n7*;z}* -gYZ7zXZִF!  ]ŗXi%ή++br tzwr6*Ნ26ȓuMD{gtw)[,W0*s'.nCR> C?'n?ȋ3Ya3jO_ 3і9vPB&|Hd2Zk(D4E߽hA׶ m_5_;: =5ڑ$]I7nqKA኱µҞǹ3.l+w~S|vS{F̡ؒQe`4x e|x gf=蹁>_bwmX=LH`o+#)bw(Z9 Wfp~UV[R>J 4qbY>]oLJ9^̈́3yϠ9E %v!W! /tfuBmB䶌o86=_z@n<,a[gV} mʤm 傡^HYsiӗh6,r-RTY"Vp@ b UԔ E|4M{!6() PB䅙A7/.V}+[6C]ztS=y~y-^LJʌ`t aZ@EU~<,=Pس<&8X&a%:|fݠeRe⏐(,Ua (Ζ.{ TzU暣)”|gut;SUcKQEѭ+f'Ed$Θl2psyȽ]dV% -b?rx..A`c_nz #@s0#|޳ϸt{lӍҽ1OZcǟ͜ K ꁸi-p͇‰R󲲕|24,V:]/.mӚ^=!Kw rJ!FO42"K׽r4/O,uwy&K@t5^1̑ O_A[{ Lv׷ORHhIPr1^8']( <4=$SA (ފ%m&w$V 699-'{H85R$mEL6}JоdwXqH0іr΁R4vAΐכZPpEv9p4nA=Z<tsZ.:6(a벆gMbG NVCQos}/C%ߨI)}ƆH|Ij Ii^J>6=%(l[9H 5H?h`H& wdJ;s ElAfXj/<oztQp"0Qv>ñIm>[: RCUGB4܇=hgT)PTԲ#hI (λjQfUkїLv+p''܇-P]. $LB$.Z |)RPQ >Ocu_Q@la,n VŘ:^aZaa-E]K~AFTYf` )+.w?xǝꪻv2+"TE?ņXn'.\^tt10F]{[R706ȷQ|oL=gdi7`U \)˜2uvZz9t mg85K!@?oL*/TD/~ԩEnF(}Aq zYg7m'7q ȽY.0|0~?UPCNkGV3Y nneewzZ-M Q[)HYwĞV<}/<4$!S}ncTXU:.ĝ@>+H$v'f8t@.[X~#YKP -LHcQF\y 'o]' Ic0IX>dyA97\k%&k7T.k<,T.L} Ld93y[ 7/Xp{azusר#y0֘C Fdm_8#/%iF!nz ^\ xֲqlWK%kKYG#9ۄ z7< $9H8#}rSL ?M'{ٺ g YiTeA,~s8x6tFptPZ,-.-2bO4#[ ?2<(o#DYDx5Ѻ?!bYH؝'ػ:4P.l@4ĉͱ]/b>jPjͤVB#WP>>}"^ h]Qd%uGvEM$F(Ԟ 4\`ܔ [bƆ(eeTtv*DZn^4'%>ے*|~K2!ie6ο+tX98r~dg>;yR&Cwڂ8p*­u}hgYZ7cb31c84c3a712d09f40c76ea9906275937d27f900b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02