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 Q1  ] HOL-Imperative_HOL:threads=6elapsed=44.080cpu=64.588gc=2.024factor=1.477zXZִF! 1]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvi}cLU&0?򓜛f?i& [$-2;cFQavGB2x6;<3a_?}HSmU9SHv -ǴW$+U~;-ՙFI9Bm5=&GFLjco#dz9ԟd8|.zP 1 HOL-Imperative_HOLJlC'B\w_txxU->B%]7[Rs ڞ-y`v8g̥v?>/X8qntIn DQanӳa9w;vzqGWvjH,^+&^ ,?T<7隨a/&w֚J'QJ! WB1e3a&wn_=p^&Dvr10˪j98LjckE.ʊ(<_9(v]R0[Ą"nOqO;ZuB/i6bk`ToH:o3P9>{R$y{pŃY1ϣɉ@9 \j-LpX;P% 鹿vĒElDЁd2 'zS b#0j G1Ñ͂:6ՇP!ZDԇt qzޮ<].vLrQ闦Sg~Yq/U\g%BV#di1: a"IRPoBf`~,sV/_ڮP] %]bSb UWGqޅDk1\LM[X-=mj,u}ړ?Ż_:T|r/ MX_CI΁Йmc_?וy`O~tS  >X{ 2.ut7/Ĭ-ه_a݅'+|j'iq((odvG 5pnر˒˞;K0e!zZ I/B ]"#ig`.T!Va\տz&1eHmC[ۧ܂()v0#& gcm>gYZ7zXZִF! ]ŗXi%;t?ņ/3fUD_Kt5pQF J8vyhAns:%i܃4t$av=Qw}I.>+*GV)+D&5\r?$䄑X}braA ozG_StPG+Za1ji}׬lNnϞo̝r&Ez=Kq&o)9I% L|%mv&U|Bhx?z*_F!T"xdH< >skJwyK$Ɉ]3_5'eh5$a[`U}Ϙ\P(VQ&DA|ZhIz,;bQ#?\qg:Qt_ѡgrSmj9ٶP=EIE0m[nlau/nlY4h0q)#4_|^o D5ZَwleIZ9n[lp $a?~&}}>9/ld\̥cs!$mOABlbnX9njW51|!*o Ub{D"̭qlT e*eg`SSD^\YwK"uf+"Z0M8} dO2V9S;3o[i}$9:%MiO^Wuw{{Eлl4t ְuUl5;yB+'{jN4`T.e MQVa3ڈ }=Jܙ\fdb1+gO mS1zYwҟ}٢ёp3%h{S ~zA4NWt!xY;c>I3SO8%rr(/-p |YqKFn'7d-.=^|Yx?^yeyiH-5UTD)cp#c ˏIk@2R՞a/ˑگ^ ;J+;nwbaT]*do>%miןB-p߉OSl;8iqgzz)T ;p=3LP#˶CMw6|qe2i>?k-ͭ${@^j?,{~r>olgIO@/ ¸@s? .ZؾX! ʏHObsfw#dTX[M,"MZ!7(4M'Kl47FvXnJĉrK(CZ>6 > S-q-j{gP[zi`zW`Z\7=7_˜~MlS N`12sӌ.$$6y/=ly@8 ]E!lkQTHxգ]\Ӵ!Tԇ7#z֩ y .&z[藣EUh|8jx> yƼ|^@wADAU~{ΙP@*$pĬ U/8 F $E]7a@rI' LfriB4$K