SQLite format 3@  - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 r7 $t / WHATandWHERE_Security:threads=2elapsed=45.942cpu=87.728gc=2.552factor=1.917z 7 WHATandWHERE_SecurityXZִF! ]ŗXf1-/6vR[]IJ!@W&acK@jD; iֆ\tB!EL=S YCW.4YYg ֝j) R}8zm*mfr5ZO{B(? '38HU@&cV3o Żn$~t)m7Ro5gBsuŭ`Ұ^u>u˽XV5 hWf4Q^ZPJD@!/77DQ74(\eQ%"w Ji3?[ ^jnŰ3c|z"z!OsqIk_nM].iIh?cnjaSObNܩZo\QJ3HBQK))ɫ =hEO'[CgqbhbϢC+p,H[ ׮Z7{R ra+.ɝ?𰄗eъ,^B>FǀPAb. ")iYmұ!rh2paw%/gh6X_A _zO;Lf?sY;+U]?ej[)P;e6jo ºGIgXz(pSSUPomM@w@3NL#2)wX) 3mu 0ҜZϧ:L)JB7Ou<"lLH 5.CT[#W I"3Loj<:kI|Ss>9ݖWT98ṃO;h߇B7CdP!Qg& gՉj\Lq9.ዞ="d:.v \7;^,r ifXxJv+oTDgaoTjnJ6\\'+,4c 1@iV-w3 e<,&w*׌kOkR͸kݗԍ#<9{305_5/do3x~0ڨ22 j7գ) ܻZ^Њ]1vGeHsSK|X\l4vϳg6θRZ_XEVNcE48X &k,xlF#.De9lx.E?>gr!sP0/Bxt} Bӻ* mjؾ]M_")1Uy֗Z>\5J|GH{]B NZ |&:ICD kbz:2 $n=7Ynԯp&ͱfE(l+v1 ('4AMkL3ho$+20DF=Ǎ-&ڄ!Z֭f}dO?~B-Ŝ :lk) kbTjߧ"ω14RR}E I}yƪO]_LZHMVfVwg K3:׼TOE|6oצ|#epBs:m̍hϪ'&&𰏛.|n3'nXTwVA@AX)xS1kў*H(K:6OעV$z2f-K4NH SP5|5цm?Ɓ7ʓfBVv3$/Uk֙!-q.+O8l$ -t0> lͪ`Epk٥A$9Ox2\H tPY:Sd8i9lVa~N҃~igtJE\/T:aքz,?J1.f-i/Y1ÙӱgYZ7zXZִF! t]ŗXi%HT"s)le(ꠞaӠPFYvq և>}ȁws"=uv>6O~.UP;WEa DƆE 1ЪhN&QԉqHh-ûmGuFlè-׹xm},g Ire#DJС"е63٭[ ^rҘUXP8?ۮA}LcH"_^7KMm"|iܳ9v%*#kb04=t :G6r]@(/Ma셠Dt!d`dfb.S­>/>-}6P5k*Jzp=cwd\+Ijş2` "n7V_ڰow=իq=!y ۤҠCJݷs~kdGx4GໝEW:mv k_=|Ɲ=C`}h$l;">zȦ{ U U[민Wc8zU<Gٵeh efTeKKLӜ"AT$x*s1؂#)%>=ècaӞA[g- aB Jk'ALm?~6L ˖Se]m"GR:Pe -/}Џ$0e `K9|L 2i8<NJɛpHH͜0^؅iȿxc3m[aVy\ST?71U$K*g(F6Ҫ^6FvqRIܛt4?n͖M=ۮ!$7t>j["uT1gh .a/Xo-q8{DˆIn \ck~a|0WWYޢ| p"8xsgBNH7h!ٰ ]PڮBK:ViWIW [ײ7G0#Nvq{pMX$זrf~0(N~'Xs鹝B~Doc#'&g!徘7~e^Nt$x#gy^y4Jب[L m^5֩NMȀ᎗b@_#t횺e +L?hdYxcRF򡪔λ+<] 5 %=B\e_?ߤjB(Vm?4{ÍRdh;.ț  wZbsёa>cs8ٙpjɥ{ !3\Nga.d~w [ cH37LЉy6jG3tjIyb m)_׾B':i(ic隧?̌JY7jjq 9O/r*;