SQLite format 3 @ - l l B77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info / / B#,I FOL-Fitting:threads=2elapsed=15.509cpu=27.420gc=2.036factor=1.777zXZ ִF ! ;o] ŗXf1-/6vRZZz` #.;9瘼ri9_yNĞA&[C2W]g"_ Ur֣6q Ne&ֹPƊx$ŮݛAEҺT oԉd1`_a`.@_>v?=˔}6!kvkMuEIAlYl9{j:h>\wY.ن>G%{)^hz;rYÿqGIE<ڊ߲(?N8zҪp8lY̔xx@Qnvmrцha|ђM4+"3,ШWw#P7 )>SoHv5X|)W24*O1QdvQ7u<ΪxRH:G2,/! ^/Ls7f`6=W 酀>,+qyB(av!ӆO-E^<~Ts^OBV|?wugH IH+5Rj; RտuMELh97(T4^I vX|t-:H&-C~O tTuxwoG+<5hqNep 6nFtZ٬?Yޮq2%D[ORx^mj?5(ڄ&tzLb/0Oo8| \{pS4aoh۱A=w*TcQI^~Knص"5 V 06' # FOL-Fitting UxVF\l:a>zkeog/q$U $6[1^ъ'ψF Ќ:AL|`DLQTw X(wB*&-$3Y-qJj4/{м@NKlCI, IIFDQ!P o#sMaNnLy8}GJ Diܦ?~nhp7y'ƍ 8SN4ǩ %pC=? g:ݸ{RXQ):Α?/S zꎚd v brg YZ7zXZ ִF ! O] ŗXi%o-Fd0[ loa%8Y4NJO':p+
53_rη&8lvRۋFn؝VT/f*ap:@)a5BD/|ccic\^4 >/Af