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 R lL ] ZF-UNITY:threads=6elapsed=5.343cpu=26.084gc=0.888factor=4.887zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb/2&N,Ξ`0R&'`]B!J!E K%m3~bl?:]ˆ<<] Z< kXF-Sv8VoDR4&F_H=A3Gʋ=oo3v(t'U X(M,KզnF#ǸLr_՗ v 䄳៪>cDl2#5r&3`nnR;2e=[8@nP\}AMC$\H#NJ2"X)ǔO#[k%/mfRcZ?lN#:dn-ܛ)kqI\5l0QOF"V9[J\|McgJs0@gYZ7zXZִF! hm]ŗXiɟ9 i:4V;}A<<ګMP8'J%M^DX!/g, .>V pl<=Yjrzo;3~~"W߂GMW8ݦEÃ[C qs' R#eEw;uHsR1qd5-tZKh VvH#/^@g6Ѹehw8CjIy/p•43dX׀Υj!l_`wUhH⸚ܦ/!ArJ=qy,Ta<(U2*.\ y`gYZ7zXZִF! Z]ŗXi%ϩeSM;lbtM\%!oIKz߸p$Č10?>8S3cf!A&x=LX2k1CcLeM&Dfק xFRȟ`i (`8zX3H8ky}e ?s?2tA/vK%iE>#2VCiQ^ƺc~U[ 1b`uRoJ^] 41:4.rɿ(NΊ*Y_,ETJ0Hocl UbF*L6}APa4Nܹ`$7\)@vXBr"b7HVD{36r[hfJ:A_܆j[ylE ~d\ԐnM)]jPjI*.xǫw$Z.Ӡ9-~ Xj M2Qv-PB@y m`??:au m$ʼfI>b` 3["lG@RPQjW ɵ:rSJf*؅٪ sii5'. CV1=f/|#)vHb w 7ݦwOlxm60,0ke3o0: e1O 5'H,ҭuJ(*NH>c/sjGQfFcJv8ޛi,gYZ7f5fbb0a536a3aead3fe8b8c5bff623cecf7dd6d90cfdec0d87addbf47d3382f9c916158cdafeb90 eaaaefc0b18493887ad3be92f5915982c7a83725 050f68a5eec97597b785001f30b610061b40a343   ZF-UNITY