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 " l\, ] ZF-UNITY:threads=6elapsed=6.501cpu=32.312gc=1.148factor=4.977zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb74aΞ`0RjcBSfŦ+Rx&7vG{ /VєZyم3ҊP~ jRJ̵h'T=Ѡƚ(] %z1UKE,wgW17:M)H"RGNj٬ӎ#RI"@(ǿX/lȰҴΣ2X}Pε3-HSe)<}5!ƁB᧧D+'D|xfY1eQh L}}a+2`; iz~G& &:7(jdG/,fσٷT%xn,?8'jIgKt+*֯Iwp$c{@Ѷ9gh~0S96q:ۻhd;Y@ 028 >f~FCqPg۝-&H2>:E b{rdt^.j keCQ,TI&V(CCZB3p_`uذüjU&]M<+=J¿%#/k_(g$ I:[KGµ+>'[gYZ7zXZִF! hh]ŗXiɟ9 i:4V;}A<<ګMP7l60O҃R |BN&ݫgm.ᛦH|̫KU67=q~3!V9;N 1O=Ta)3…)T@Kps%",%} (ްN7KM"8T qSWD*PU"{ݺ_ ]P ]09TOm k'귞 bU y΂-ɨtM鋃u~uto7}5&D:: ouQӆ䓈MB 47-{ިaoCl#2r3RnKa@kt s4gYZ7zXZִF! ! O]ŗXi%90SIVwRm&8Rw ̯0ڳHFĬUg W/ALomhЩ\ۨ~U>loBJI}tF:)qZ4 ;m1塂-NQ%vVH1g? J}BEߦ0WYY/%2h- V" יvL YD_Ds$T_L375+8%Ub[&gvGS@: p}YF7ֆe9'A 7 (Qv,kӋEWre.y;؇KAP @B a)]Py.ai_̐D%6` !X܈{DFi8%+Rtg_WyH%\RʐA~֨g8͕‘:=dSd:@#5)Ũի'Q,UUAlgWZ@tgܜ]axQҖ>[QwF'uo%a~'plJ9I$+.=V 9/ɟ0yQ 0^*\:_ĪBu끬W3]}EX/jAxIImO(vsxL…d<%u1RB_gYZ0234bf7e5d24bd02455360d9693193ebcd3b7752c3f84dba95bf0709c61a37f27d090eafa0bb6b15 549fc95e6a13b146f54d556690653b397300df31 2bde1c4e1908c04a7f89ce97a9761474e2b8e199   ZF-UNITY