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
# # Z
TLD ]
ZF-UNITY:threads=6elapsed=6.096cpu=31.976gc=1.356factor=5.257zXZ ִF ! ] ŗXf1- WHIk0p䋎dh֨ /+a"O j1_E?YgmS%b C{|cEwo<С5g&a jO`?&ǐ'khZdlKsiF ԗ2}BS@ В$T9]]ʂB*ϟ">oj3ecU .PI- [LH2 Ț}%:s3rʝ9 ӣR|.sRRP}e*hiY+zP=z`O|g!l#mK$:僐z":eqԂ
Hla#2;xsKXQH!܌2[Itlfb,hψWÆ=9x`ZjTtN. Kw4|i=j827
.=#vLb?
S|yZ4T Vqu,Tuل7?>&mF{,j\bqLӍ d9۬~ra yA
#1 ә>HȈs7))z<[ g-A @Cl! 8Buu#.gݱwn*{.L1]4u g̑`Rn=ؖ3 f ' w#g YZ7zXZ ִF ! h^] ŗXiɟ9 i:4V ;}A<<ګMP7j9t2&=YOZXQYFSa5Y/k:T]vJ m
oFSfqXr:_
pq4)5,٤]Cʓ ka2zH`t9|פjg5L^ >:V !ث-<+9YbSmTbBddmMDl uQH {ɄNz7n2O]b3xcaN2-ןY0_@3PqZi6%0N ѳNc(cxs &Z +.8
6|g YZ7zXZ ִF ! $N] ŗXi%Jz n7N>XCOw{TԽL|+(MpO>Y~R;=>;{/$ NAwtU C|(]! 5%.~j^th
M8~B6>ฑ Iv>asI
6A
i?DˋPkܽPۑ௸#(njB7yo3[X @k XH,pEk ,0e+ &,I7c8 xu;,- <-} *d_`6oV٘Id^i S05> ~Y t.nťQ_M5
l[;>ʃ>5vwoś_F ޝh1#-˛| /1i45D &x;SJ3tӍ{U~A})2<Ϭ~O " JM-AS?{zXQ;F hb&DFqKŪVVY5_je)\9g[O?/W@:\:ѹ2,!`s@'z 3- 7/C
0Y+kwu P-۔)Y8AU\h2hKslIߓ.vGۺG= >ɓF)fմ;'
q9m,;6V`l߇\95/a .ubFS )!h89`oU6