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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info oo T4 ]/ Isar_Ref:threads=4elapsed=17.962cpu=45.836gc=2.384factor=2.557zXZִF! B]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od& іqFPdpSt9MQ!B7Jo*VaX[yVׯ) !Ty0B `cфl;O>JxB})D#c# eհcORB gkf3T)\{B \*Az|8Ȗ˞4 Yp$&OW6n%+YK 0FܾDJ`ͨ ޔa 30b< K!Si M"t!GP-s{U92u2f.B|J5L)s9WS,lgY =ݽpqA@4G"Z*AԚpnɁRCZO0αqÐz G[zIZ2sHFۂ^ǻNSb,.?z 6ix~4j"Yp-|qհȥ,)1ښ0(/2EBm*HxZv-!] )bV|6e |x2 [ل/8ɆW4VH[w֠Qe"e{aΑ$h 7c;K>yJ%y7K?OrL B|z{j0xdrԘZXFhcn~\_szB|/!Ό)'gYZ7zXZִF! G]ŗXiɟ1˦rnzx <@0+gM];3K\w|H$#Y2bV%,Ɛ`,# ["tՊUpzU^ _*7W lKdѦˬ;Q]5:@JD3x•75p3mz!u`u)xYWY?RЉ0^8hx-`@Hkc /C[O%H,i6E3tv͉q *aKd" (pWXbLhȖJd8+K}υ ){G ؋ ۳|i ȑكJ ewuT/Y>["̇+?$RNڲ.Wk#D 5c<$ɇfׅ'1͓yV'(PvOf:| #Ї1T%Ao(C{;?H L:ڱgYZ7zXZִF! d]ŗXi%B/vTpm2&0ۺx>W5`E`:>;rNv56+EB *NFiDj'}`b𿐁َ5U;P9ZwJ;[#=H6@,pRld SY@=ztDD3Z53mr$xHɩ~?w-#,y[l 3|{{@Nk^$fЬIİК-"ngrP@Ejr}S{7B"s^r*.%*pY3b6^"9YkW_-O ʯl: (@/aћq8XhQ򽹙:t$t)-*A%kD`c7_.'Mg`065Û.72r)<һ]y[iR3x5<.5nf,ӣw޺M1OlS,k{ @-e=Wlص[/JnIt)28ȼ[x*{;PF?'Elh˷}߹uhY\M֟%@J}0'/c.<')gvՁpUܡS-_?o|Aਁ[ [:eɆp:;wϊ 3ɟ, EVE\jn|e[ªҴTؑN[&桉}?U&f)~2*(pYij\Bu1mp= ^`SlBhN~ӝTG"P.`Yo9/9HnErk}UT"=ŴVy\5F^ R[鉍-V`az Fe?ytkUlN+1 P+bJrS!߆( dt|+𕑫Pz&nYB