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 # $ ] FOL-Fitting:threads=2elapsed=15.289cpu=25.860gc=1.820factor=1.697zXZִF! F]ŗXf1-/6vRZZz` #.;9≂ + Reh<:xp%#\ OUmQ )gb^#&킿&D>d\J{:MS9<*/n-`vTfBc_Ha0hҕYG>a^)L]ޚ %ĝXSSXйMè3)ں&VhF"MwArjؚ$K ~څ O + 1NL K_D2l^ ]4&ځ˘Zw{gYZ7zXZִF! MG]ŗXiɟ1QOϒ3kг^*]HC5 }n=<.0ulcN2}YZ7zXZִF! V]ŗXi%92C9 [5)yqQ6I|#n)כ N_ .W&t-nš#+.g܌] 1YoR.uDkT3"O`m?}-@<NJ8N[HYiVh}NO(>cZלW8 G&8vY5&ضiEi`}󠨽X@֎%tN\{S8T&fBr]Thsu5 s>-2'D~}QU'u @PCM>NfDǏN ET=~ͭkr1qR_.ךּ߯u)Oc@l K"]' ɂ܋96=XTK5i_`Vʾt&P`ai<7QǺgVg%cn"rla挠%ig"(ۧg~Ua9ri?j,ztXd)Su^Fm+]*ea`!|Y 6Y†EB^_]U*0Sj?aΛY)΅h]$Şy>Q|S"NxO$ީT-u韶-N.Vc6KԔX 4t?e6`,G9e/c (t5 ϟTU4]=!}`| 8`2i B8G(zY'}KU҅Yk2mߺ Z4&}IbCk]7doe-ӫ 6ZKJ y^2^R:}gLv1Yq@9C 2:G. DY')#ef 3UJ"dO!.B$~&ng ͭ4PıgYZc728680e90386fb72ce54ee2b16e428803986cd7f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 daf773399df2d213d8f31040a17ff1b2e88164e2 # FOL-Fitting