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 uu <\\ ]S Show:threads=2elapsed=19.238cpu=36.920gc=2.068factor=1.927zXZִF! ]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVF:焏6R·)/o S.3޼>Rjf2mQ2 \I;@+l(5dr?b;֓'e@KyiavH=D 9iG)2jϱ.+p˾xu=kJ[ľϺy1$N,nD`Fi}Ć#u0b-IeGYUyhQe!-_ \4Mڤ[7;a~~G j E:V f/(ߕck"}O$(ͻ5#@bSqآeW%Ӝo_5wN qyc C|"&6zf;vJ%f)9BlyYoAB$/4*Iy~!tR-"nX[Ǒ\$3FQ`tdVF!30#FΜ&;_ ˅ hd`BM`@^I;a7 8HX,=LTy4QqVaYI&\oKڶ]:<a^< %a8i w5iy^` ʶ񥿺#q|ޱ!%P`v@CdZ68D\[b:Q[HAOQ4d%pjƥ+5(Ul}pcuT!T Nˑ?χ516gYZ7zXZִF! Q]ŗXiɟޅ*-qb=nh}R{udbR nJ3`C:2%L/۶KwR}(OY2Kz˰^aҧ, s0Y7^Gxo'DlWE B+Z_4Io a%YK5`h58q.4:6'jlgTagYZ7zXZִF! e&]ŗXi%;уu6UJ5orrm. _4DuSC1GvS^@ݢ`M]!0庨;,vF=aԙNX6)KB["`BsJg E8\@EUdrJs" S`0Z~DX.[]Vtm489bމqZv$ @4ƌ'!^ Ԛfgj/8`H1ϏtVNgcWwTp8mk/3 JXP9~J-vSW&1XBʉa~(dP˰W2F0Dymy9TLL֣Ʀ`:Iiq` )ȰU1Wti:a3闑ʩǝJlGϳ_=k |}Ǚb@L~/O䳥qR}HR@D/l I,ò}#?ZBy/-jZoeQ[F5 ksUU `)+ײv?vR ܫqJpʘF'g__֘3;.X#WeB^#ETjtC aŘŮ6HwF̜CJ\U,m#/F ׯpS s0]}L 4O>"&IhZ;(C6G(a0B4wZѹXMި%J:'8݁S} ܙ>h`|(@Q^ڕ*37oKpzA՟-؃q0bw(Cg 9}4wf6G7V*1J7u 8gg eP0{,jp0uuvޒwIym[ Pinqn_K`<d*^JUU]lS?':ڏRΧCkw`JZʶB(f.F6O'"?SX4g;MCݛ3x=GR6Շh&x&!ą}7 v2~ZgOxRDANn81|_f'qrVxDv#f/ϟ~[APol@,