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 V# \ I FOL-Fitting:threads=2elapsed=15.834cpu=27.908gc=1.980factor=1.767zXZִF # FOL-Fitting! =]ŗXf1-/6vRZZz` #.;9瘼ri9_yNĞA& ')zqٜT0٢Tl9Y @LJb= t)5#*dh;$5M`*dU]8'ITTtp~wT#0o=q|!LJ}!w{}9 _,qi52e{_sqǘ, Ⱥ{SNg_llFnKd_X&_-fk8Ǚ U]oh&G&rA|M[elM®Ń-Tgx env bƠWV6{5&U,dyfjF/s7T*vvQ Lݮ9HGzG*J}ӄ@^e;a Zu'˥7LSjs(L盯xn`br zgYZ7zXZִF! R ]ŗXi%:3\Y%u#eVk_N}q-B iēJ|VB>u-NsHOJԔ.Zw-9w.J;,4 +ZZ=<'+G(E5Xr{;hbWy[s6w1R)/xcZᆰj<8eHf4%d3MT8.iq q)7}6w}x5!Wffᇐ @S^s?ėO'уU5ay3w>>{Ip!#Cr 6GufJD\kC*;L4@2ƂeG tS /7m̢m_ߨ!U wU+We o#pk*;}{v:bWT&wc%$Ϫ;]+%nHM (W]sc GP4B(cxBhƒ印$i@aLCq k((s{h&N4#:՞ԅ XhjΣtBAH].?kbC҇A,g $%p~34nA]RB~qCD0Wݦ!邑d4 W H!CMpLVSqĞ -%"x~wp͠RUhʜu֏o'[*$--LzJ`h.|v_5dշ-^s?U)Z;'jdB`cP]/٧ҎSɍYV[S?ԇz -*.iֶWSo\DVʸ_*sIj&Tɠ_d]Q5 Q#k֐ 3fPֿ7ش 'E#|w&AG]o< J"&a܀1Պj...Fl m|IC%zY@u|PϦ+sfԴ6_/:3終4k Ο gYZ631ae7b3c446839ebf52c1c4ecfff6207b3c9e9d 726e308dd14a5dd4f5a45d0ade05a64702b0af10 8aaf7df6bc028b07f3d05a7070da1073936a5e21 c9930b1afcf5527349ac0254289a00223978e996 d106237fb0fdcfac92b4c69d767734ce9de27446 e7cb3925a3ffa086fcc7c046b2b2d60e179200ee f48fe416b000de8a60a7420b8fccf973030ce862878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 74347d6b35213cade348daff365b338f4a554a12