SQLite format 3@ . BBh77otableisabelle_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 =? 14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(Adᰅ|8rH\M#J-P[`ݢ%(K@L0K0O BKffGM]Б%DTc qw1 e׮1C|TD!qV;,C}h/B#Ũ*; *ND,6 w{ a s29u8Ht|}Ɓ-#v?96;kW ? HOL-Computational_Algebra,[򖨕'RdWuNmqܕWwXh QtpS*St"nRy6W*ટHS8?R٫4ĠvsVX.ʌYȌy`± Gua9f>unq`wv^dOFnU8Ǚ 6KUp۶"3'`5/!Ar-ǖߑXC'|t Ƣ=Dm'7#[{mrHu"[d9RM1yL i-s-hUYxeS$^6a3h3 ĺ 㕟sB*6ӵ6?G{u=nc4+WJÜgBAuA+,*EӃW#Νz~Lۧk[Z=m](צ# *Dp/&8␝2}^C=N;uZåMzWp3*w1< Лzy{"D;=YDi/HIB@5uvdwXz`;H;jcw_$EJSR;ULGFww\D7+cAk>G}g!i wv6i,u}S?ynH} 31nB#n ~6yҁz(G ^S/BW ЬPAex"M'zBݟZ 1Z x؆n*XuvH˞NMYĝy 1P@~b{`Y |gy}vs0Q R_+=辢t旑`#"}2^+w9ts#[ZӶ ACgv1*^'3N_HDlR _IgYZ7zXZִF! ]ŗXiɟ1; ] >IsOʨ6|L?kʾ?iSE?v]q!ci$G{C maLWB"l(;D7GQQwFX_`pu-'؅ @`;gh@&]B^tu' @$aQKΝ,eerKԡ&7 +\TIT7fw٥YdΨ #52;&X "cK(|TrAhT:I:+_V!Ge4yE-&޷UTjm#^Գ}{XU|{8~H] Vt-T(O9)Jqӯms^8}bvϘ'ukc\.D4OVV̇V*fná::~EE 4Hӝ2b3a觎_4) [ Jbo-d4>' UHkTHH7φ撞L~S "3}2xZ9k+6f3&[RyxQoMRVQkNjimП)(nws]͞Uf=- {hs)c޽"GO[9QxDi~$ qvFn?L:TMsWsvs򊻁tj#s?HA ƜFRS@v& 6tᅨ?KX>*G%UeqO.Y|x=fW"(&:)̃hb\q:sp@C\7ɒ2n P3c9nk7:0WCas~UA,J!X'QM67kSC8; >]P]G`uqZ[mnq\K* E c\?M̚.]qPr doT[\jVpߧCJvՙjW)!5/} S!Gu⒢\D&rT/ܘ臓NdKr&Μ% Tms.b0c*t* sS^ϴ]sQlRf.5$Ʉ队%9}cEA-؉:9a ~Ge7~qwlz9Olp}u8ilc_Q̂jV8gal+ -&Et+tuj$2*DaݯJsQ?UВ5Ib7U;caZ$ɖ?$B?LS|ߠI5M+r1Hh=P~LhCց ;m&j[hiVL;>7+-5D*ٞ{D9#He^_6˦S~[L!)rO{g GMH%~r $JDBVymδōCk>ĥVWK; =}p/ſ;qKy&Rz{gb7V?sgpK,R=JS5[Bm-Ttťڒd{\F@X..40; Ǥf*N"@;[z/46)о6փ)hpj p ?6,3*֪ZgYZ8f921bf7e31cccb4cd025e266bfabe103a61451a6c8c27efb0c8ebba6c08dd56f4b9bc33d58ea855 bd9e806d713320e48df8a9e586a2a05529fa70cc 83283116a2de2f1d51203015a8a0d42cef41607163c3b05286952c0e4ed5fbe2abcf8bbefe8decb4