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  - <\$ ]S]Relation_Algebra:threads=2elapsed=28.525cpu=54.700gc=2.804factor=1.927zXZִF! P]ŗXf1-/6vR[O9xFuIˍŁ]"*iFYځ_ci;>vbQFn y`YK'$yȊDSskq8}Ijokw]u}ДT(#,*I-:%9]vS@sHف=z<dd%I6aGL_y<BpS@#i y[ $y !CnT$ 55 FūСS03d \%ك8³@ziv/ t=e/w!nr)K嶛zMr57c'm󍺜3EZ~kQT^ N"c/dC\60ߒ=r*f o^eCbIP1篱+8VD'ݦae;Y$\r" 1AO@0^r/!hw=jzU#C.q.~4N8f^»lVb۰eg,V}%?kT tN*7i{?JZV&sE&lueW6l_S,RSJ2F*tS=" w幪E#c18Tʘ? +M_x)Qa4^6P+Y3^e&s) 5rbG*5 Jmͩ!Uՙ_UkXan}P繘!89zPB aiZ|q9691hʌ>e gYZ7zXZִF! ]ŗXiɟi-!%h/8mce{L%։`\S8!>KώJ:hl ޲FW `I8NPtJ[{ "/HRT]GV_‹o&nء{Z'9_" s-,E[N)#U^4[P{IK]\ njg0`n&A0aK#'/|PwVDgYZ7zXZִF!  ]ŗXi%;C hf J謐:eAYU*.'c%-RKo&_ϣ~)M_B4"(Ofo*j2+Aaq! mHUXRb<4*Ѱ%a򚛑Sbfk Ot[fUq2G DD6È+භ{hbg|EM¨@BҞ6Rs|D&Y*Vjّ cM.RI~mNr s@'8B˻:]V(Q'|F+,wN#ne1wvbpۉ ē&#^u!:+%~ Oͅ[Ӳѳ3Xbn˽J|߾O3V]Mhm'~E*NJP 1&u9(GEIn0^ĆgQP7̴~Ejy\*&r:ӳ*+TUTKTsԠi$|9C[,|؋sݔIjE2ꚠ)Gf^mǒ j!n|܄^U<$1oۑ/Qbi/CM$ZBFQ9"m2RΆN/b=ZJ`A̾)w<\Fa¸yXuQ)p{u?Gb J}6,XbXR:}IRFk Ř{Ǘ>2I|@7A1ixd~OWĉVY+*o!'3m4\ml`Bn$.DV&+#Ra!]naKIqpҰ1> fùnSs"xpMQUQRG8adH tzr6x9UFz nJFɺ,K4u5:}vq`n~$Fd#;W=KώY 0vXVsspGiT49 T̪ #3u0ֈSXk%[<4gYO}=[ylP\?\=Gs1)oZ.U[F2%{"x.C?4[$wG<9#`s3ÇͭSO.T-uXp4gG#p~M9;HBZz{1g1M[U@%hrtTjiB;gI):;\+-p9<._=_]'J0%āksWϨNLll3e