SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 RR+% T ] Finger-Trees:threads=2elapsed=16.244cpu=27.004gc=1.984factor=1.667zXZִF! -]ŗXf1-/6vRZZ-=X@ 1-PU-xA/E@ip0Mʛ@o|,Adr)[%>X*am$V2}b)Mv|}x́i_N4OjCc&oaՅ$>+`x&H PQ aCQ@S?l75Id7 ЫbwHhbAꅿӄ>%$xNYU806T#o&GW+Tn`1Dxe^v$ϻ^~Nn+zhA{{K?]8Tsz}1.0wf7[۹x 0ayqkh+bf؏gYZ7zXZִF! a]ŗXiɟ頪{jtJ" ZYYh(^f8؏TGB8<"0EY|k dnIlQr#םC}J}w,gYZ7zXZִF! R4]ŗXi%6SwK֩DC(yB< NV|f÷hV ]<֙K4frkY|M1VGľ޵YmXkE Up[whjG@(Տy-2M@_ZHf`ɡ0)$5,/ *yRRl+9I܊i%"JH %>m=RN>B!JrbJhWiŻu4qLq%|)\sJۈF6 <Â^BCdi]ZhXSP;N@LG; y-k(Tc* 84np:Bm7$S*Ʒ%̾tQDNQ1]Ld5 ,2T=r=oEIR =!r CMpې̰6?0a$]طD|!~Y̦'Q̀K+Fj LΡŋ3.O-dGvC/=U_ 7z^s7%g$Tֹc2]rRPq9͟=,EI D`YswmFZǞF4'u!l/I1+֗8S Xѧ<Fo\)ƖwpƗI< Jk孊&A{L{ ?vS]b#a:ml3w