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 c# $T I FOL-Fitting:threads=2elapsed=15.042cpu=25.796gc=1.876factor=1.717zXZִF! )L]ŗXf1-/6vRZZz` #.;9瘼ri9_yNĞA& D>j' -IxDṅҠ=-;̙awfEB&Ծ EOuB>gھ%k][!ujy|S/эPR_gRMPXܸl 2<nl*9+Fbdqp1h(mog_4 m!X ®;k2MP4& 9UB4Raٴ`&]۸MUpX$;1~ݲ-~gYZ7zXZִF! M]ŗXi%}*;oaXŸ$ڄR+,.Ž%|_jtr#<4ț+HѝwxXhᥣYhNܷSLsLqQF~NCl nzt.uvrtGV?K4mpJ{d+o"3_ns˖1 x 0 ⧋fxِ:j`~W8 ጙ!oA"[K g1 XU=8 MlR\c] I!_9 fO}3a-!ݕnk#0%h(!FTۘ<7,3#( [|S;T)`285:yJZJ?Um-IyZ}Mb H/͵OYby:ǚk{U칝| S1s$W~]ȬR@;,$*:?ho[LU9P.#~Ѵ@}5+{4<_XT N*d|=knKu' N{wӹaom:V5hv(da䟵 խ PU1;r"pVAI#bFHjw{ i,W}u/{} } 382(`l&MT!˻js|=}y%s[kꀴS7<,$gF1>f(B3isԄSH]:/B},2϶P e_+PeGoSr׏*׷p&Ț]3xF:G]rux7lT09@B:k3*{L%GȵA hǑGdv2JpۦD2=nR^&N|j)]͸D'=M?jx c[I>%l-"&"΢cG2q3E_n}8k FNj(l/=/b5D]5~OӼ|vI-x ߍ,B{IV>ӆ{#W4+PfF1r$CzYTcw!GymK. w΃ ઞ pq`gO sxڱgYZ631ae7b3c446839ebf52c1c4ecfff6207b3c9e9d 8aaf7df6bc028b07f3d05a7070da1073936a5e21 9f14695bfbeb9d92a570354471f7696ac1b86ee1 c9930b1afcf5527349ac0254289a00223978e996 d106237fb0fdcfac92b4c69d767734ce9de27446 d1247494788b55f82d71ef616cd57895fa5932ea f48fe416b000de8a60a7420b8fccf973030ce8620ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 # FOL-Fitting