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 6# d ] FOL-Fitting:threads=2elapsed=15.188cpu=26.120gc=2.020factor=1.727zXZִF! F]ŗXf1-/6vRZZz` #.;9≂ + Reh<:xp%#Qrrs_σ6P{!Xy6,đ8QYx;f۶~9Ipv'xZ+O@@eOFҸ"rB5x耱)k"6Kr-(Q蔳3Ny$U 8k`? %fNJgYZ7zXZִF! MF]ŗXiɟ1QOϒ3kг^*]HCTR[͚P(',úBds0[fڳbN)}YZ7zXZִF! V]ŗXi%;=u2yq#S"dp\/ `]վCRm .^rX^~v4>BBGҵBEN1j,mNQ2!M5 >wbI]+"IX <^^[U X,bꜬA4n(G-n&7a`VtaL)T&3G2Ed1JexO?C}?!*a"n|V)wxmW0 8$'Nk }Zl}B)'GsfpkMm!ejH ˮu]q|yvN*ϰnMusvrY]2aH]~E;V.L.UU~\uoAu!>C'ա7Z@*^XʳnwLvW,`܍-h9)“P S QIឃ,bTPxZ͘LvvS6w aNVH H/ŧfT EgU!.vL7j,-f/)0㩆ؿ>ނjr# X 6`=ni" /jW‰nf-Oғ&Sp#, ~MxS0s(ڥچHc3>xaGU6ClNQC/KOt{fBd}<4q9 ӷ7_͵ttBAX+6ͤjV\#x@+?2Kc _sAw!E6Ӝ?t6xKVdjS΃rnƋYe:d6+vNtQ_=GT2ƅ/*Àt/|1 q1|n>V'tק։%-̖WG`yOž=y+?ڻ#d|jXr0~ s/<+-LNYo,.rƔp㐶ZPͮwClz/ z_#,ڱ JCFEFJ7f]bNvqjI ˼v>)|5Ķj1q* .C=ݝ l*)[ 31(,gYZ79fd22295878c1c7c79154f8afc9d434b1b7d8a779d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d ad6d44f7aedb014e340bd82c93157922e7ad3f04 # FOL-Fitting