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 ^ Td4 ] ZF-UNITY:threads=6elapsed=5.302cpu=26.352gc=0.920factor=4.977zXZִF! "]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb6g#5ƞď|c 3އF`l-(VS o*||#Qm C8Ftp5$a+>GܴJ -#wW'`-fHm;!שqpdIHd' +;*i#ӦOt*Q9:?ܪMpM<nMKD%9U0-W#%fccTvV4Q/BK`&:üda!Vv`FӍxm/}!YVfRu0GW2ɣɖ٥it -2HY)}KÏlsЭ,3D:~gYZ7zXZִF! hi]ŗXiɟ9 i:4V;}A<<ګMP7"a\zu6~̢a6~Pv7>ށ:[H&Rchڋq\rI:Bazsv iN ?czCYaȑ|}`u L^g*ՎMAi*/ d$hD;?ddWQÁwaN:X)Nhc/>kB")J$P^$LW.+ΡR$9ОP>>NM M/.j&M4?3PS^24V2\@IPzxU#>,[1&5' hlgYZ7zXZִF! ]ŗXi%92nO-I&N6JuED4/-Zs<wU*3GGP!]A?8Gl+1sKAGlE%Md͇ݒđjlAu Vaek]l<6ul.mZ8VȟL|Bm.+V1XQF4 >j`sG :* ̃Ϙ" -Aq"@!ay./@bxڌs)ri.ɜ*sb^T1|`P. ;ʉiWfpu1|^Dw8*]TNnOesf\+:XgWnlq-0[W:[0Y  1'0FZYgNFȉ2mϷ/.^+?k| l2փOօW/9QC9rR?!xKx`T-S7iqMnQeR/$b_YGy҇5p/sS)x;/^ڈ;ljgN{w&ݚ#=qm(xqL#wx!L 7@9R[-h 3Z elӊt7 J +kja\]byEXs?AˈQg)tמ62@=u">1y)Ÿ71$jp3wGۛ&:JW0N <ҘƂ-'p$hFe//RߪzUPcV$4PN1Ƥs=޷JBB4AgYZe4d4cfe04ee0b84e3c6bb4d61cc489dd334cd0c5a61b507f41a53faf272c6071fcd8d5a7bd20132b 8fe1d9cdad5d3c987d66427a8ce575f65ff98754 c1e47a1629ae36c8d643bd50593efab273f53d33   ZF-UNITY