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   ] Trie:threads=2elapsed=21.299cpu=23.592gc=1.528factor=1.117zXZִF! {]ŗXf1-/6vR[ltǧT3(O7?MVWURR kkE_/X8`D_f{uE!P|,$'a B&yS !gBRA =R&>L-t=ܮAh\v:zQo>X7aRWE\eȱgYZ7zXZִF! |K]ŗXiɟl٢ :}*]F [[ۙu%ig G (Kv[40 )=ٔ"\yjLh z':h? E#=Z4Hp#nv,o,+k1PH;PR0 5 =1hF37)nɤiU_/)oؗ Z)Q/i )V.E˛9_k%d*J?XFŰԘ^ȴ Q !rh95ٚ{+'ߍUb+=ߒvTCb}R!fHO|{Ĩ z+][D_'c: i0#OsoB%Ηy:Az秋btaqroR$ mm ߲𝨄;ܡ#|T'|NkV{}B)RnuCJTrh]%Z#@tv,]]0qx 4GV6Ǫ=lf'yjnF) q4OCٽ$-q\rZl$V}C9ۧu ZXLSMtWr<@ZZs/Q<i%o/My^ .HSVko*qBJog#πr zGCX6I-5N )\v:> Ab77koQF "D?l"Z(W:OeRpŹbN]ZgܡT @4i,/{ɔv*eB>wG 0RMlR-^EN]kP˪ũ|4 1P21sƴs(AoJb)м ꛖI؊aH 넯<@g?pš9Ո*Ek lɸ/e{cU^%:'}ro,BoQғIwP ^/b uȇD7^0=us%US#ֱFZ2bEL-s:׃T@I/Y&,`(g05%S=Y}3s|6 `>|*% A+BwTnb# E;_9p6;+_u{F̎'UtKn#gl@ط]#