SQLite format 3@ - llB77#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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info # l| I FOL-Fitting:threads=2elapsed=15.785cpu=27.756gc=2.100factor=1.767zXZִF # FOL-Fitting! =i]ŗXf1-/6vRZZz` #.;9瘼ri9_yNĞA&"z7fwQNxzlv.b7g1bѴ'&ŘƒdԢk(M>SdUP{Py1 ҫ׫ Mdo_{Rl$0s +o?썂Mp\ba$+SҺA0ҋD0jFi`w"CKۅ["->o {.l *G@"֫ ݦ]L킆Ӓ*%y^ؘؽH۸96/L#KH-h<@R} J?=S?ŮKؽz.o|6ꎸ:ޞeuuZD,G.z>2)3)e[';+J0U&}o'=ͪ/^6/J A Cj.ֱ7A>0Z \gӌ_k*M( !j.FQ 5\r Mm-GdM~)u8f! QV2 r*#~; ywHR0Fjm.ytnCƺ%l@3NcߎڇmoP8rUJ#ƔHbJO]) =P„'32=Ƣm b`F/vњf ɵ֓ E}z!w`\3c^HiU2yNMExnFJ>felJ^9IdN@k9WaɊ-lM B(u\I=s>10`Z WA"_+YURщSx+WTgQaZ3ꄫ@Xwl ׊NCO(PV $61=&P[; ]E#BT #NXMS~p\9GWiӌX32Ζ$O[Hm6Jfd1K'\؆P{ ܳwM bn8HeڊnqWJ%qb3,$ Ԥmz)uGp*A%0t!$O~$;HDJsݜP>=+{I`F|wȠ׶`,F+ L9,fhPGK{3*x2>~Pp ~ ߑ-fzÿ&dqI(B/ (_TA3A՝?9 EMdlOδ- K0ĔQR@9&jp'v 2zR[u_qxtDW3G&NmԨ^&'p~ox -t~8V> eU>OPs5d84\5 'xҍʶC' -GHv.& `mԾ5