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 { D\\ ]/ SIFPL:threads=2elapsed=52.001cpu=84.112gc=3.812factor=1.627zXZִF! %c]ŗXf1-/6vR[\wAs.xz:?~ZF겲T .WN ԨeI(.:@1<2hCWO&^-&)ēA[zGvT&=Z#!g$WΪUm(3+vJ \@c,$|H_m+mӞӘ6u.Lˆ3=39`kWoq =}Q^>C.hS nXsJ>WOӣu\#]2vcÄoz$' ^o5=^XMC^]Q1vIW̛8ҍ,>!Cerh  SIFPLqņODJt㣗oo狝K~ P1z!G კKm9vMavDmp ` 5x7DH:,k'剮0e{n6^-pU9Lo]k]ąbyExHb8f=8*e vU_V}m\"c/l).zq)Geu U?y4{(M&U\.ք#"<9j 1LkI@BR>&eDZ{=!nvR%.g%N8<ێ|wI4AZ by2zn ؙov b#\r6i[Yr 4puٟ0h"h_dknd1, ̳fn>F_c毞"`jL DS?H'irkN$zMd϶׭7 З@9S|چ4R?]7FN#JGgYZ7zXZִF! ]ŗXiɟիxWuۖ?oU^MN?+MAGK#ǾZ3>.s+_LR_%Cg}ފ)3zqVũƛh}ǜI_2VÞIJ1B+nw9^7ߕea8_~CC:s nDKٱgYZ7zXZִF! n h]ŗXi%W~Ġ:EQtt K紗TU=QJjam#sє|6ݭ/JVDSE->UN PCBD->@8F{LXEQꮥO qJ5"8pF)ѐ],B+䩓8V|*B !:V[un̡C֊&l#Pڄ-/̩⤢Uݚh1pi̧T΢ 244xqLwʳ L:G1wo))67,a:M4[ALpIީK_0,| ڛ0{:0BGA2K"}mJ9s〇|2| C Ҧrh$3``$Zj& VF֍x \TogrF1}{iY)l9Ȼ&#f @mv|S(}{G $cN)T# ӜhQ>6xָ?҈+3UMt=j6|*g@(oBl=]؏_y"u[7:OCwKw88o+j ߕTb)ENE4je&7(j>j40]fp=+l 2Dz'T[[0g}v*c \Y^ N![Gt*?^л$0&sJ|n{:TJ؄w$S拾Ⱥ8Tڪ<}Ni1ᎁ+ jHD\]NIlfE| Yjt^ pߛRLf3IMTS˂:[MR'pd1K\ƀv=`[kJ9qwވװ%JpeO%hY|{ޜUYܢ}"H8B* 9V }jL t,4YPu!ڡ=Ы?Y{xDgzde##>dB+Aw4b0 0dB*+xSׄ Di+X+g{g;;rðILKz}TYrJDzr󏣯S Wa1P#J0 .VZ0@w!p9?_2؇zh0=CJ:#fRl;; h5MEУ 2ܞY-N(@WEu[.u:_unjtQ5O(\jױYFrfVLJE 5֛ 7(+ѿ|"^ 9dCiqcbs!ˬ^N3ND|Z\ ܓ@FzY\)׸lct@'꽩hWrwQ#s@ Q9߯QѨ`=/䛀A#qH@WΉitMU*fTD(,yg\_ư9@/t͉XrKU>AtfOF4Ҫgx"܀B+x/\Dq3ѳ J~&>w~Cmz[q 1'ًRr_ 5;ɣy`hn=J)CT(mfJ5  !kRHghv!41âbdF^6+W2[\ < חmoВ)iǦ̣>Gð3lnҜt ]79W(\zBz| lb<$'ґ8vUoܹJ2D}%F7jhP`_mB] Vᗟr8^V/ŽNC>쯢ҟ= w\ô+.Yqd˹Ko÷o6ʏ mTM0"ilmXZvژC̉e;w"L\"£w2*,&cTse%k|v>y>.|cbϱrU"IN3rg e7e<ɯ:o>%[(ЄIgv_&Yp9}QᎹ\o릞eä|7E G60['"^ߏ׀36pؤaC<6t)>u+aVN@d-'rtoZ5%Ss9PPɓobVM32yp~VD񖂇 T5嫃~PxƞzHsy`Lj;uE0T+~ǨI4([j0.1N|TG 0^ķ{mú?N]Z1N*%ȒU|ږࣵB-iJݲL Ӈ.;dj@/Uʾ#o>|,4*ۥỈ{dFh_ܪo)l}q᷸ƠlJ۪(mC$-I:ԇ8D6{u2'Bl8O_~7qvK|ʾ O=,\ӢxΞwyQ :~$TugYZf081c5f8b08f91384a655b37d8a434d11de7f71bd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e