SQLite format 3@ .0:  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 C7 ,$ ]/ Transitive-Closure-II:threads=4elapsed=11.569cpu=23.548gc=0.940factor=2.047zXZִF! ]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHlyzy$` -|kU#[4޸kPQQ489stᖎi˭v)17Vmo(X(]?k;-[[K rw1󴋆>.I[O6 yb_<*c;]R2rg3:HXU0Q-/ri@#\"!.)"]}0,02 \O篝FZ-nmnW 8)Zos#ӍdoQ8%~_}lC]6a"2>3l3޲&t;||:sBJt&݌{Sx<1.]%g'|p߱PJ<3A!B\|Dm%^v6LjxJz>gYZ7zXZִF! SS]ŗXi%EbbmIh](f30V]_ܮ~#8\4$Cd IzSKY~A. Ǡ1(&!6[{F|6RISu ft#22˥+ZbFh,G/2gDž uO% )c֑ cḥ݉/|(1uv\NM<8H m̚/ݐ3/EnlO^B yS{r#q1dmXRL9:wW͉<6HGAB8>f/:)A\Jq)WZW7GqiD-SQ7P@.oI5߫mtN]m*4C jji<K]ɈҊ`v% ÕUtQEB*lЏ%r8 Rwݢ~; pѳPfWE9嗲N , 1 (vqX63;lCh’}ԋAb!}1>v;yJ2C!yKE(k%4hibE n:kUV865%294{`<[D^]c{YƑkA6G5R 5kX-cLrOFo7@ vןGx8lƋ6b*o`Iת;\(M°d2sh1W$Y ͜o~ 6ITs[;\{$2a4 Y%c-h<\%./r>CC<,T!F|/ b^dp΍ɜi6JC|Nec07xcCYޙEl!HJH 8!`yo Ozte!8!DG\29+9>Q垢;K}S7qc!=A!oWR}+j%tDw%c&?+vj^ x4 %bgH v aPKߦ;.F,KBYX: =LG)#sg+7 2۪vI#w$qs*51 9΋ MpcR6yu6"CˣG1gC֣΄n+rF}L#_S3آ;J,4ǥ ae}%DuX6>I/_%cw@(Fg`)!8UIݱ!d;2@i{ayFC. ݬ