SQLite format 3 @ .; 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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 7$ ] HOL-Datatype_Examples:threads=6elapsed=81.000cpu=382.568gc=55.760factor=4.727zXZ ִF ! o ] ŗXf1-q恈&!&ʁ+8Q!f0& C3*gT؝Tػ}gG}21yxzV#G T{43uqQXyBIHfI{_u/o篱,# 0ShYjEI}=\,s3pImze^u"nۖNDW{MNX3"ƫ%v1|>,֍1AۜýG~74~&MB1?/ufYY!wA=;92D '_3BdOP5*9Z1x)VdAlhXImylwXFL#KiUOX5VS-(wEqr7r܂$pH;b#0ț÷/YօwD1)/vh큊V )'w:| KuztVE`Gvc>Kھ<JNgqE}~MnЖKs2$o9`VU%ԛ8Mq_.D !]V0koaл>Bг?' ][ק=T[2,i _/ WɖrԮѤNL $Vz]G"KTAQ#~͔#]vw~Pvk9hr$ a%љ.H+`H1J,wC!!TՈTG D =$F:UdGWGGykO{F}~Q015a\lI|?dॲ*GQB&tb |{9kpew]FuvdjR"SAbe~Nl-چav!W_OpT\H=έ'"qwUx2K;?}ڂ}9^B)8.7H//Vr M$ڂP] G*B-R/E槆Mz$%qB P1^YfK`;a^f*v :#VbڟnuLTg<ߕ˷(Bk #[1&BrHO~(fO]vY{K~sCJП6qejq?{gAg1dQ~;DM3U52x/?T -\=\=sx/ 6 d\u{{#l9VXu=, KRu[Jv!@GԢiBcC` :=4ߘCp%} [Sd_7T˰Cȇ1ܝ:2ĘQ}V$RŻ2"ϭM4H! r@_l5I|Hͯw!