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 ArD ] ZF-UNITY:threads=6elapsed=6.069cpu=32.508gc=1.4807zXZִF! +]ŗXiɟ}g7xx'Æbkl|Nlj- n\;?8TQW0[_HGf+0!As4K)FІ+`[Ap$s z :O }o+1ވ[MQ{M2iH+!|jϨmJ}Rp5{ԑCb9B3y7s#h 2[Odjc]4o U6~OEʼ%BE7WM`, 'IAmEtHpdp2$}5W!ˑM1=1H XjI^ӁfsS2IM2|+THa^U-kG<*\N0]wt<-h0:2MRE_ "v~~A2i]hTg;eNt7b=٫8빼6=!<D-xs-kNo rz1']OM)+"J1Gm&2&0BB,F >>᤟zȿ$%A Sg Ѕf[ (e/P Y ~SVA{:ջf4 < 5MIc dt?<̙pDbd!\f!(gxgYZ7zXZִF! h\]ŗXiɟ9 i:4V;}A<<ګMP7jlt2&ہDe14#wEhg]Bt9~EQ4,%<ӻ07})EB!_XfR"L4?>@$ _ -gx1EZ3,Pi^aʙW/rP!z:j6YY3z֋rMɕkb?٣!!S)V LQa Ӳ:XT۸C7 $X/,. >0,OEeKc̫ 4"7o9 CJ<)2[7 gYZ7zXZִF! $m|]ŗXi%L*p>G@ yu1l;Ps Pm6,6+FW\ſchһrW3`1^,t@53nn*HA4Yȹ St*MzµGRlmLkc )GDBP KtH'"?ie]%mCހa0d }vLlXgxXlC;be96u*O}GB݇#NtCVA_ITU06w'=пs;`j.1&O62 {8CX͌R`{8lZE2S% oGgLԷw:wck;g{W3\ǧHGۯNz%%0OYtMeKwrѡ& YXG볥 86P1B5p_ Lb5YQfq!4#9z7-e4?E3"w~u{ŚU4q9dmC oLd`cԼJF,FmE7aMa{x/@*Xt;V 33w*b@UZF