SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  H T<, ] SuperCalc:threads=2elapsed=43.008cpu=82.468gc=3.820factor=1.927zXZִF! )8"]ŗXf1-/6vR[] ֧"zժڋZ( l-:;G.GXӹf)!@rНO >Yo %V' ߩ51֒*`Nt#e֖ލjv=- +.ii호eZk73wUAA*\~h"t4a<5? t-})dw5zCWTE׸_Ȭ0Un7替եAFRX F|R@mNr#][7KKU TE9d!Vzӧߥ0 5d"iDEPVL3t,ܼ 3c!)F$_F"%%F ZAY@pɃIŌ:NOU %>Y ]mMAwNf74RܱgYZ7zXZִF! ]ŗXiɟ}Ɓe6L=+. 3 `ɉgfԒ \A[$/D=I pDxWD(@ǃPqT}v@-uq!Z#`.s!%3ת$y&G\!5P-܇`DdJxbhy766Zdi?u_K!i{3JJfzTˠ4 ʖ&[ٚ/95jMڀ@ ϻNM-$#iTjZp}tE$jB" rѳi7^/qfQ4#Xpk}>CYS4rP6m0w2,H/\gY՞VG 'Sf~*vD)?CC3҇ B%D309r\ǯvśE!@(]JevxK +[E`Jv`RDSf"ܞ/[faz|ZСjG:/4;Cmqetf`i1ಘ!S} Q[/Y%^᭡6R>|ƲdW_F&mRQby|Jvl}71c?n\B >yɍ :;w5 2eHf|;kb2io-&aBxV3Y "J-0MDQ>i[}j [wܣv̨aÝusf@VB!²'f{v`lEkwqr\V_3- @w£ոo˺nS>Py܍4pN|WYB Cu-˶;WvY# a$<OU$<2? 7 A$8V_4}Cj"HwSf(nd܎p ;M*΀DG(h} S…8 $#q@9//< JXӏY(ا@=_`~-o&MS&>>K:NA͸ CZ;ї~^ȇVfj'Ön{/NaN2|~)k@4* Gȝ,C=O@OiN?(L\"@,À0dۚL=`-)# g)rl ?<I~!yz+Oˁqe P; zL"'fER[irK+}=<%9&R'=y߸C:o=6cMB_m!Nw4"++"$2a/J9oYƫ8nAq&+2S6XR1X5ѥꖿ#],m gJvg:MI:]lʎ~OW1 i*AKIF:8I-˘(ALS˃j$p X4ԬNCGM=GUM0v$JXolU_-F nHt탄y >#=B^2H!{iВ0 ߡ#*T>}b6fnC3{R<&N5fmϿ/U%N`h(, "V--XP{PQ?+j)|и@ۧloM]WGG1RS]G=i?RJ -IH@\H@f q68~G} 5Y>?{E!þ;"In]3ʉޑE*1P)\@JP:M~I-?k~m飼ߵfط;I_5Z\Ʈ́3"z{&=t:`v:(ҿ%fnJ <,v轀:EesN5]7!nqRΌ8S+ Y5FzH@}>=, `Z_Nj}ʶ}1 !Ժ\Inonf.imxv]yM [nIR/9ձgYZ968c653eceed59758e93a9f76aba0bf80125f324767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0