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 ||% t4 %/ FOL_Harrison:threads=2elapsed=11.569cpu=18.976gc=0.592factor=1.647zXZִF! xt]ŗXf1-q恈͐7ӺV #`91knTyڧ?"}ËSU{0(7V X\N һwd1:͘.h JTR RV-ZI2*`hSؘp{h ?n.Q$DQF/(X4=A)Cd`7с^w`16,ԯ,#  s0^ѧk ^%Nyd4ɪN~h+d"ʩv[GLPi i)? F"OHjE#_C(!w1t/]DT"Uvwrv٣ԛ(G^AdEw4S]"dygYZ7zXZִF! ?<]ŗXi%6{B*62!iexskHUdEi~Xs,ޫ S̮B7t % K$bd%=jR$@z،7QW~ Į VK/dgu.qnu@it6/ci,k[3t߹A٣JU2EBދqlؗNb(Jŕgn8W0W2_>]j)L0{Qrk*N*fj"v"KSIS6E=~Ð4$XK! U;Oe njqj|o.B~2< [~4v0W Fdp5*ӄw\HP[\wM-,VNҎ)1f跒]FCoRM)?Y-QDŽyhvw58[#My4wg'YjďR]wYARӽW~:gYZ51b84434d660a41e914bffd052f9e5d2676d49fb c08c0d5d4601fb33f1b6cf9f7f814c612221dae7 d6c9ed0dc694ca12d50508ef9e9748a714b26966 daafd816af788235165bdb8cfd09c393597c7cd6 f0fce7eeae1ffa41a6f0691e21062958b47031ccf0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98 % FOL_Harrison