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 f |l ] ZF-UNITY:threads=6elapsed=5.033cpu=24.936gc=0.856factor=4.957zXZִF! 6]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb/7; <",v*]+eX^[! 6(QxrH+Bqή%=̡Yme||o *p&92D{;eoVlKޞ `ŠlLMf0 PT 7stŏEGqw&nFm[5o_PE39p 4wz*n癪Rp\|M=N1HR޶10kCK`FU+kN|^,R"W@]QZDGJf^bv\yq nFǸցNl~ F]?g|\G|pW#?׋~knWewnELe]nR @Ǹϔi삋ZxP[MbkQVlA9J2rZpHjul`39dvom]L3L@# nS^y,[Ա\rh'ʃJ-IaM )Xpat ȗ&mS\ήubT5ΦrZ\2F7XjA2L&ʚ&Q(1}qg7;w=? V`WBPi) gn FMK jg;֊  x&{09NL6`Vgz0OD/3f3gc >gYZ7zXZִF! ]ŗXi%94Jbd^oP\y(@;1t_$i΁ P:/hgk~vs J^ 2;x;Ov}P)lQ'm&lY/ + #>S3i>Z~wezkdGk⧂i`u`T'F1ˢU }(,T=TgcoʫeJp3rr{tH#!E" Uxxl5 $X29cX&rP@P*]U]2Fy(fpV P.60:1Z^w'wXaDCz-8V>uSV/"b}&K ]䁢k Kpj_55=S5h2'[S} 7Pe,{?͉I X?% 12Ajfkk2Oh,$g'tV N"FQ+~3hռFvQB;=Raż-IЧn}2"5)y`wG2LKꏱb9ù0YC8;s7,MI`)O\|X{T#ʖ9d-9HS|[%fT.z ̢U4?>d;[rwt YR1fH0Ylrm ?55\@F84#gYZb15acfe59180e24fb40350caf7508a62dfba6c24e2bf23c7d7eb3616a6ada91fb6d55c5b24a424db 1299a616ae5d5af0cfba8708beb53cd47344b444 8a6640f5bd2570e085a437ebce9ce3e7aadb8411   ZF-UNITY