SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 n# $4, ] Shivers-CFA:threads=8elapsed=15.321cpu=59.938gc=3.093factor=3.917zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&V$1MhTcX0_$6T\dP7FV{9^]xX ÄreuX3V&F+`jeXD}qS&nVI_?|nF.EfFI 1Oz~XCESrn!(CߍN6D9eNLYT[YוoQ 3Jec0oƅqFT/Ipj,I'ZZ ='yjA >9-lHm8pNᨩcs[[,ލS=˴UW9Ɖ@O 4P>ydcJEةJ]63TRW0"[5Bm$sR7vt nݱE㾐_WmBe## LQ֌ RWvܡwu*tԪ(W6Lp9E"bݕgYZ7zXZִF! a]ŗXi%>t{EK[`E?rfc00v4$a˪D3$QkN!'s%WN6IAc7Kټp/A`{V/N黦HkLl&Afam ok+iK|N%ƈS5h 솰&r$tB(|کH:Xt`3\GR^*tV\1tu/d,ыs@8>b&)?fjvHL3Fw{NiJE@cd`> P]UZ# uGҺV\DୣDg]0׻5EHJa\l7bEmjNuh@8p%2d9Nlw*m1=dpv?U*zǜ̪L) Z!*(k)&5+A"%;itxx78(/4==Q׆TtShpt|cGSgy_pDmP0:ԢixRg"kG m-B^G}Z}j/ڰnqDą,~rY?;CI zWQ$fB H"`RC {./mf6NGBҕgNXꍎuc^f+Ek#7!^fy\J8$6;1!z+{ǣH.75+#DZg#\@`Cz hWULG@Gfa1Yjx.BL\ZO> V&Al;TDqrۄ킢䳩к$c-M]M[:1k 9$1]& z^ 3,|㐇'TC^ץ_wlO\:hTH #!xQoQtU2 SI".)P-#В4N$lCya4%e1cٻ?\r>gW8(qb]YϮ_ PQ 呀.=ZN+niYg9.D@_3!"<=0t }/ڧS[^(!eĤm! {O'նoF3nd_g•⁥NMܺxa&KXYL>WyAQwj5yQ бt诠84:uɧ!&k:7 g>)i*g< *hS6}0u8Ee=գ|,?iBOD,-Q;d D:oQ&3@(ۇ|B/>(ds҅ҲQVN3-hځ~Xz.jۆ{oolYrQL;~; ypٷV|eiޮCCDDOJl}{f|4vs0 H]9KA~Tϥuj4 &B( nME|ٖ!9z*,9s}N3jL ^w"_Lz/뚊UV,;58l)O$|e|,fH Kf)=CsՊݴUn^gHEd.ԓO4k[I#\=~ #o}⃺'k#%B.V w6#gYZ240ad19adc38bb2d314e8829176eac028b0a3efac58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 14157c1a3b8fbd74cb2f80b32216bc456b69f149 # Shivers-CFA