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  5\$ ]/ HOL-Record_Benchmark:threads=6elapsed=97.506cpu=170.592gc=10.040factor=1.757zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2(aAp)O~Z=O[, U-xgYZ7zXZִF! \O]ŗXiɟ1_sB2 ( |Kln/h/(޾au-d~ nl'^!Vk]*U}YZ7zXZִF! ]ŗXi%;w*uupDtDy -m!Y=M1|sx'("'`ݽc ZXՉ p&A{N ߸l<+C[iTD8eBBΨݻ6GYВ: cR[g.YŋZ\ƧBG 0Ԁh ɼ/aOI"vcI[Œb}~Yb;~[5_X1ɽ|\Q ¯A%렶HKW b͗sCT1m IѐO5Tu=#j$4 bҔ"5ͯU|仜DV#lReC1b,`#6~{h%ʢ G t"El'RS)(`$C#Q*4##kf2MZD3msw v(9^M=(IrؤJ1lOkPkr|Ԉ ΫQ.dm #zH[>&rLz-z#>kQLH(ȅ% tW^XVc܁"= 5eں4?'νv\Tص`'k*@ 4)&9>ŽtgL,mĭ 0Tq8'SUȲ'b[v.]uT_GKTrWi Y]Y*+ )aR]wM}`8y(D\^B8!ν^/LZ~mɡXr60uZJ4 W퓑ׁ}n"^/~{0 ݬ$xSMXjSmҌB׳FXte_E IXy("yP7Yru0ɻ AtO&R;>HQ :KX;zF3aԙM燐Ez936O|!Ès3-Ar/;AƼoZo cĜ {rS0a DADN4zb8[]%1A3<85s9y[hWt=5D8xYϼU}Ы2y@L)/4eò2̻ i_/a>@IIdDL({΅e&ĸ93).lE\w`uڽ3YСgGx4Ƌey%q7c`kr*>V]i@Z.O%wmn,;4z^8 觹gQ3O\2 b5X eXLlN./mi2)CL d~%u-`-9r92a}AYٮ R_pjɊdV#KRj̶uC\? 7ɗֹQ %6usZZ#mͼ1Ipmq>樣x *ȜZ>?z ;vA/d[=<Srg9˝vC<* y4g>YJ^~ Q!з)nwZdG~<;KLGA&+uˁIVy\|L /ļW^F74aKC -$lG=Z4lvqNTtn gޛT*D%3ct#!.?Q\G}ͪa9H\BNꨊ)_11'I]kߡL1yԘ>8&i8K̪p */.Z? 9Ø,bHw cST#[->)5Uw*o pO|Uk6Yt xtK$h~'3|r EeT&zQ:mQ*  C GYXY,/ѧS(>'ƭ*?t2oX@83č)nM/8 #3&Q6~1sqYαeSʆv7cp*i증nǾMf )E/icYrgAo񂫛h^;(]QUK\[kLB)h"c5wXP|=ˏj\r 8ڝ(#)}w.o qVᱞlK>6KVdNol  ;s1vjw4 R`˺}ȿX!_mT$&*dDzXD,'v7nߏF O:e[;dSg.cFrp"W̟􆏥e6^o8i eơ| zkw.2Qf.eM\|3c 6mܘqaƑQn(u';2}jx