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 {1 L ]% Stream_Fusion_Code:threads=2elapsed=17.026cpu=31.188gc=1.604factor=1.837zXZִF! $L]ŗXf1-/6vR[]`^O㍌GσCU,,#DFmTD("4{'}NyI0 M6M)b'?@tmRZ;i)`x26DRd P]JnDϚ 5m92n _ًr\~);B4IXSnXV5{&P DحqtgX]& f#plu/ޘ ,~a>UW~}Pۨ*$oixIiAU19"&a|߃`y%HcPI*@~6٢fCO4%${R1@MlqhF!tBxoFw}y):QЊ8oݕnY>3O8Zg5S9f` \{fQr 9XkSRJcrEXɇFO -XCw,t=.L矃96Jеa Pӽ~SJO=}s#Nka%{7eە;woY=h$㼈eT\̌u>0;o)p 6="ކvЊkQ 0~w98O]s37@*dSX4 / Uۥ̉qL]Nu!wOs>XߔxF&Yî'6f9h(clVrXPW IapDa-] PqgYZ7zXZִF! b]ŗXi%;38#j)ˍ4 !'LX29ڔ6ёʕ+Z/ն.hY.*j]l8Ko3>loPXҡ=̏GGEmɭUJ?b)c+(U~x.ka֬ R>׸ b2jigC`3jn5Gq5r{]l\4Sʗ,Tֈ ު) ݆jvNI~qV%zZ%%9WzӱtM=&(V֥WF.!{rTN!ͽp.Sriqw{ mSjNV(!l[in%`2 Aϸe39hSUѽĄHF{dcho~ҝĎz"?)s%Lh^4\f?l@ˀqMف=)6fgn!o)1 NeZᓗG h%x2HOd$mg7_ ɀD qteDF2/d|#ċs8'0(/nײ;aNVJNG/{\`m \v%…յeZ#.(N w=, 2RV[X sgnO2wyTDI?8|ܷÕn5K&Xe~S4_N0DjZ=ssV>t!,DhȄ|uxJz:>l.f8{ոfn)3fE ~H |b짵Hͪ/~39<,>fU_JM0ESrXZ6,ך9_yk_jGŸ8!=ii,Fb"|[ nulX5PUڡ?l9"N Th|BR\p! <1Y lSG=ږѺU =]euà ,|Aݲ,&oܘܩ ӃR0</RV[?]zCK#&}-C8`6OgO0z_Dԡubqj"g-;`ӊ0,A~0dSdҿK\#/,;& r\g~C S_y߾5֢5~rh62= H$}o"rS֍aֳl&U1DGx;'[`UUscc.n6-"5GdS6Y' Y^#T5= 1!gYZ8a58b006ba39d2f331a35b6bcf2acb3ddca0c59f665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 86aea4174b1d0393ca3ab4a58bbf0589befc3a01 c255daca4cd67e985074c64b73359417396792c8 800a443f2842236cf5299ea6c54c90ad150a9823 1 Stream_Fusion_Code