SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  a a tl ] ZF-UNITY:threads=6elapsed=5.124cpu=25.224gc=0.828factor=4.927zXZִF! T3]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄēF6r˵ꙩ8nȪCnm.`wx։IPkNme[$I:– ABRz5sQXXې+Ę{0MS_j%31*'Hz-x'>\R|h0WDP!t(l%Cs\".~\uzesr*Ոb..o-3dFi\Uh?|&6N]b鿷r+~t~!Ҷhgl#rCUĔ5Z0$C)G 'Vj/ꥷB+AM'OrN~1hcwnvM0BK==M#g6y ^u :dr m쐺([*'I l91wa"DjE@ 'lī 'A^w<UT pFi}sM&4Z:Z~ )a-4.y=Fkr[KF<\ܸB-#J!z ck궴g{Rr%C,dPqMIV̮'ju1?2~&#c,'m4 \?8^4& qU >6^1gL̫8yzƳeOpꥦy"SZVȶ+AzWS pd׃I.7z$,b>I9eRҺ9TPcK`6Ҝyx!M\; "RLk>Y5a#nA;(&.TW<4IuAo}WQZFqwU0Zg|V7,[G]tj*KLw?cMEa pEE0#*6(aN[w2ۦTÈn:+סrL0$[@s$ !+3d[gYZf99c2f09fea2346da56d547bd2e5e398ac6052b253f1d67548a50d94a90baccfd7c8ce511a3e1b4a 8f56ad99153258798fcfaf97ecebd6c79dec4af6 59a76b2764c0c664010fd0b1cd3b969df7b18202   ZF-UNITY