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   L, ]/ Heard_Of:threads=4elapsed=25.593cpu=76.708gc=2.104factor=3.007zXZִF! ']ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFgվ_\×׾HF+;$l 7BglE?m<|^u mL:cX!?c1M.9\^d%2yuUSaHqUep~$!/PF/kgA) *ꏦ>6S.6:tg\ 1ow# Ykͤ qqƯ2|vG'J ;fGyҁ݄ *QL*9F"8OW>,fAuikf:Hս6 uhi|Uf3DiNX78vlxk]Ro][:m=   Heard_Of  J4R2ۙgՓjwn '+(.)E"%F#`ebva`0JE>LQhf,u4R)&z>Tb"Ii֔1f/r_` oꎇN;?Q;)oҸ*W @ ui2*S$Qc匠WUq&d˩eU6 N1~?|C6m2`9,lOE8GTQR/< KRrP9[Q2Q{j&:=A۩>ֆɶrc]wvdY[oS9 3ёpS3ӏ23ˏJr[7‡5zn(,3YgAQ?,w=zJeN8$J? )#o?Uߩsk/}gT'n~;^yhms G䶂=32Vշֶ Ҝ#okۢx1V"oߌM8T&7` bK83EIPVn ~}hBc `>!޾W/7#$ȨiG9 /]K9pa= {Zl'O3 )#@_Cxm71<-C>u-ݺ~Q}$ɄfI3hw^\9$l$Np_1s=Tbկ> orӔq- 6fzG= (^mBSR]D C`Y7OL  O;WgYZ7zXZִF! ]ŗXiɟ T50d.~En.yWM͓˷ #sb)dgX ?gT79&!<27!-aM}Ď#@~k\sZo-?<[(%؞]_ aՍ O'r/9 ڪO}4}<;(|c- ӏgz䌩wK`&Ml,EFIޝD K93} 3`'H9ْ ;E rn@+YkK_P zʱgYZ7zXZִF! ೛ P]ŗXi%B)I -3XRq,OHM`RfsQ2$V9Z,cڐvi/PcaF?. RCԾa*VDTNJͯpj}3v%gzY^" SB|G:21='gww(=N"u.)sIiA2N|_u"iJL<}it0,P%ZLsoB_'Ԥ>"f?b^+~6*sR2ʑa&X[2z.E߱hE]TsY0/2jEY`YРfB1pUhL4!.zP?AHSߌgw''?o8I2wbKi>}udi)Xdh (/#E#Ԕ?)X ZsxIݲRŬC]|d7Fp`oNq{`rK;ҹ&ԼP{` ~'av8 YDz7N y04[RJIvM~X;]pi3܆1{wc-tlZ*33t/X4Kwg_nat.e.1뎬.R,?Mzֻt+{Ι\U (kkv|XZP'#LLQyy@-L' ?M (A9cB+'I$Hzƫ#'RPņ@ ςT7 -S\rF)6a C^z ɃJ0"$4X.q ش?Bv>d~ӟJ ΊA$LOɚ@_}ǝnytvKn^0-aE tmP!wz6Bta]BeRb 83ިw xXj?yue˺16Sı0]zcrCgٜG)0W   w{Pn4ћoH}rpSR[&0dUV'3jL9)L7(CƎU+V}8"iWkS"!K`e,w*+#QWxi N "%^jH9 &L^ 03ˁ?TAU}_D mۨ˔w"[hOvwםܸ|'ãH:8{_,@ٛ~c+ VTnW\ӞLfzӕgEOW;Gӥk_*̆_e0ɻmɒLڞ Ǜt?95no& f]$P7b{4)ɥ}x jÇϠJP^EUnߟ8O߽֘U U| KK >LiTH$~ [[ wAq:J 44ǿUBq #qrXlkOe}Wifr0DR3j)(fQ`^l2beT=`_O4;|J5 V 8~P>#