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 :G 4D\ ]% Kuratowski_Closure_Complement:threads=2elapsed=28.628cpu=48.404gc=1.236factor=1.697zXZִF! =]ŗXf1-/6vRZ'PGzl}+})p^/KN%-D %eխxeupg:lhjMTԉu # ƒKpthz0\ΡH<]Ք)nLAfħ%sL?AYjȭX Ri0*Atv(q;Xr>~'20y3pt$yDIUGY[-%OUc͈g%dH qa{;W۝H@vÝeTx'ªJW1:{z(JLN$Qv*tʼni"Ow,X"NBU_N-P3,ë2K(ߴr̵׀V"|1=R>~*\XgYZ7zXZִF! u^]ŗXiɟM;7aތ0y+,71I-G@mݘiV [/_^;`9hFG"I$zv^0L}YZ7zXZִF! E]ŗXi%6 V ΕS UH@..S^\X0Хfy_wtA1[YGWi̜3r+p9a^:`І˒vH5Z.]cRSxC vY?Uy-=xF_[/!Cp|x@^fTtn2h-OeUq|XtjTًg  VWeH^^i&8 O8,KZǵ_F\, nOqɢ0fx qXűQ2^."n-i3*(93iS5'T;Ji沧 ^] 3SV9iqJQ0MVecl"nBܬ9 %і$bE^v0oZxSp0t.Ǵ4~+BLP`V*6tM͏{KKD4R=-P ;uǫ|N?|k; ~.Ω\z3kFZATb,0q̥\9&d<7O?)zS둘S[t%w NFW"Vo_U~WrEZAE5,Y[:M3!2n.<'g We|琲z1&EݴMy6˕*ƏthPJF&̢uߎ=C AT.twP?[ ܨ{mj[,.T=Ŗ%wQ0,ݘ>J%c4vm%6lI2AU]Kib D 8 5-让m8{Zh1=`Ţ%?\p{< JgE5Ѫ}P;@U`~[3vOw