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 ++R T\$ ] ZF-UNITY:threads=6elapsed=5.987cpu=31.692gc=1.264factor=5.297zXZִF! .]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb8m| 7'ńoȴ3vQQjho;kb, ~J{FN38pW+tzL8@{S]*W\6=K0:q17W#.1Zݰ(l͖nqP2$<;NbCjn57}>!p'Q7Q -I6hP~J₮wVN25k_rHa1\.j[{˃36hZ)WkퟃW8a"`AgdHsPO{9HDo Hv!lɪQe ,jPP7n;"xP#уo>)EK=5߇Gy{>0~PQy?lԈ5ZXh88-I7X~_d2Z[Ř3?4^zC۬yӦG&pv(kTg!a(z_p$IiX:;kwd8y,e]7f2"4dX/ ]-!vZ|~,rtK? -jiy-I+X%(ñgYZ7zXZִF! hg]ŗXiɟ9 i:4V;}A<<ګMP7h !\'EBC II4W1y%,?wx,w E"3g*^FG÷52gA!/Aa#mB[pc3$R:#ڌJ+3oH<݋$ceC"Y~g7R3b: N|@׋=mO-/yH-2Ū:I]kbV9W>nT%(SA k~*BR+2ىRw#'Cc|y.9psbe6BKϑ7Z7GQb:[] C1gYZ7zXZִF! $W ]ŗXi%J Uŝi'YN3'餹~.NK'R2JҾRkgAGx^ζe;5`76m>D $ ^oiNuzK@ѻ~PÑ #={phd*s8hqfwz&h-r~VLM5(A&0рfɧ0\H148aޅY1,ABD]}C 97>v$E]NK˗' NPF(E ggEq^s~ Fn ٚX!=.m=?XA7qu>ew#"7P1UhSCpErgְisf5wͨ{3ǰF (w˲,KZ1"[ك7 )weI m-\t~CH#DggBpjn2DZR$KsY-,{rRR ЖEBQSQ~C}J <`Rq?3>8ȊZʿY[=^ DΜY\t*`E?(=xnx Uxo| #i[m¹EDݫy]Gq9Y#5|O 쏰.[W(<2-J= zя# eNHs`2xYe#4{@@<k` t\C{`>-TOB>c({lW85+ + jJc.sp S.|D6q rX/v\Qיִs*tAdGU̓C f%'w}yH`>W.ϴaM[υn&nʣzk\[- TsDujFU620HDUjgYZ6fbae56abd715be15c044d6e3172ceab9ab0ee07f0e41e8906fc3822e07e67496b53881453c8efc4 32f0d1e257cd402993630d32400a41719c3341bd d7b676d428bb35ef4c6466446416bc2e692cc6d3   ZF-UNITY