SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 O $$ ]/]HOLCF:threads=6elapsed=12.477cpu=39.848gc=2.644factor=3.197zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{Vd%0M%eQI p~C[/0pwةǝCOlq3ng 1EMpWCh3F 6$KG!Z**[n7ǏJZS 3Aʨ-%K#! i2LwIj=arS}l!Sp[3*i&P TO/^FNrO;]ʖUH龧㴨M)xB"ZWg WBtNH_H۔Dh|f MZF3e=H'AeH)88T*aH ),C3b;35^`ey.<g/Pt:IWJx//,^mgYZ7zXZִF! K]ŗXiɟ>Ӈɇ9S2]kCqԃ$JUrL#㬃oIZ}VBZsg8\VRرc0{B~Ϳ{~ikgl$98#s2CfT\ T Rw2&&n8#zRU|Md^CXBHeé*|}<ٸJ:Z2*#mE}v'$~jPI/͓ Ђ c4XZG_GDՒR$P,5cE;p<-x(w%g蕍S8աsya2(n~5 ^zf y7d\yEH/1 $u{8WN{Z=Q1_QWؠ{V ,;5igˀB1L!Mh\>:kvȫۍ}üz.(:0TޫPрHzيKpͷS)}ڱ$!Ѥ,:km!QQMN+-LN22nFZOxtxU"IgYZ7zXZִF! E]ŗXi%H8 `'P| AKB qCS66f' .g͹T۰os22䨾Ȝp'zőh]Rgr͋\XiuUjut(C!!1ŠpsKNUv[ҐTTH]SԦTs(GҜr]!j ހdr8p4o@raO'}qH2V5)㧰 lta6ܾ3a_A;{dʍ"3E2,;YoS~Ʀ3 zk݃̔|}s8)um=S _%Dx. ~E!EN dZdфCTd/43"V 7Og9sb4褡F]lvY-} 2]i(ur ݗ#DӀUF'7op+"Vj8AhS ,@ - lH,ANب\~}E))WM R%k*ٳ<|c-U:⃓@\LCjMZ>ts[v*w]C*;FZyN`7We hA3GфI:(8ya҄ܬ 7ഩV.c[,"I)6h<> \2>&e=XM^ډ%a.~uV.E`7W,1UiVT|gr$FVar5LlaŚ8ADZIDn.SWt=s& Cǜ_b6z |,fqv M)[ iAʎbcGɩ1~.]c+iPD|;9 Op:)[ᴊu}L>wBMff9s~ OA-Xn~`+r|*up!`2x7zRFS>j{Y8HZ;Ěj9̅=U;z+LZF<шW O d&Wًd376 yWR5L"Y@u%2Yބ\)86,c4/?ӛcdWZ %`i~2@|&B[egKD{IJP]Ò&$ !#f9Ju$w} =MႻESSFP 8n7Ч 8~=  AgYZ9488048b330a5e468014a00366b355efca8647857c385341d59add624f3803e0e2d207c16fcf2b8b 4343be3d37156aa8739d2cac200a596017930174f4721408548c8a8f0d5ab0fc751a6de5d0f84271  HOLCF