SQLite format 3@ .  YYQ77Atableisabelle_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, "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 [# $D I FOL-Fitting:threads=2elapsed=15.178cpu=26.096gc=2.036factor=1.727zXZִF! +J]ŗXf1-/6vRZZz` #.;9瘼ri9_yNĞA&N<8+ 5 -ۈ䰆hjR")Ϊ6_k#)B_`.\N6%|Lf!3\f`C(|jv{c%iK@o~62@( 6ޞ]jbFqW $Ն*›=Y7)!6 TJBYagYZ7zXZִF! Mq]ŗXi%Ithd ^3X6׏ds0;lŊclFˇѐN񑷟,/`{(MJsVM@Z^-h4}EltXdf7 kV͢   ʴm[Jzg =bU@{ 4S$1ˌ_fS<9]ui@Y_DMIF3BV1᠜RXӍM#gXl=Lj*}CT=bOq} ]jeb RQw*>L뙙)g򶔺ZQ9<2crh滒 ѭ0CXKyF{V)DE_1~O4%΀>N먊ݚ('Sc7 jskMRrgyɕL3l04s4~N,lso J01PdT*m nSGϱ?ṿ6:2<"3b >ENO_ǼF<9ElԎPו8HL~ZQ-4j$mt`+.sԁ]C.-MԜLz>Dl7~6 DQFu,g"rm,zbdXg˔[%kiz;/Fd< @=5ُ `geᜬ7n-*['wũ/^A,4'*w܎ݷ7ja9[vR.H-,ܸ4M><mkޗ[/"nG{4 !AgYZ631ae7b3c446839ebf52c1c4ecfff6207b3c9e9d 8aaf7df6bc028b07f3d05a7070da1073936a5e21 9f14695bfbeb9d92a570354471f7696ac1b86ee1 c9930b1afcf5527349ac0254289a00223978e996 d106237fb0fdcfac92b4c69d767734ce9de27446 d1247494788b55f82d71ef616cd57895fa5932ea f48fe416b000de8a60a7420b8fccf973030ce862735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 # FOL-Fitting