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  2% 4t 5 Derangements:threads=2elapsed=58.297cpu=96.884gc=4.508factor=1.667zXZִF! YR]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˱+ɝN(y.;#U3*{+/*o%CwF4TY(N^%!̲&S7Ɩd@z8$M>;B}z˅H EwRUBcy1ݱ\V?5j<gYZ7zXZִF! > t]ŗXi%}揋o^=*UF{+2쓟x"{ U43W9*9; s#;5Zނ#*qә pi_q F$hW_':ykeՕ` I۟V\#dyy1"F.^o:QZjψ/T.23gǻd? |N7Nu`Z(i7pcDn㉲~# &$#@gphs԰&>W)`ƒ45>|AbmPGG*p83lƱ4QA?W D}oLX 蘮:/pҊ (jl;Ue$tY+)@zTs2m$w#4c'pX'Z`3(4۾8DzE[/_.'w:9䠜u՚m1F< qLJv68aO+}(X)H.yWN2*÷מr[ɽbw2 2}8Ɏgn>'T>ْϘZ2Ys}heLo1yuZ=_F"rutz@ {GBIa% Z6O}Bʉ\SXf ҙs.+Y6TGHz@76HaOG8:1Q8CQ? k[jVv1 #շR"ɫ-4OW rxZ r z錓9vKtĐr%w.UyCzs(Vy/ǭ`C'0m,mpv ,"? 5UV@K,ť j[V]aXtGs?eK wC¿ـqi"_쑜t>}g dʮӘ#<^^*M)v% FIz6PP7[ϕHd2DV'Eg0Y?ȂJ^E'P'fyO%*U*X,2⺦( p΂sK. 0F]+[.pBm>& )ɋܤQܷgM䮃,zB3.T;sߓg";?V?D(p[f0vɘ9Ò1if/ycWRaيw{=HE464RpKzW2Ãhصj^I);\vo%w,a{uî?Q=Ʀ^}$WG8A*+')a+W&kUŴ?6M.,Ye.c8G|h3$+K,ۡ"r+<"R\Erxr mVyRY>W =p(hcѧ*n&w3Dܿح,yœFct[e/ "G?vGE=) .tj#ڶ^“yģ6 8-L9b.,wڈJ?@ 9,f%/HCp=Y3/DR&AI `Ѧm ΅VTqHb/5B~2optn0&(eȬYLm #R;e|zK%R&Yd4?בּȩ0m+z-p9C ?clpqGayDBΕ8IHgbGV`pn ~30*1Wj_+t_# ުT1ap D3/Cd oAL_NErT8 (db_oԫ!qρ!ƚv, _>!xS9e9Z@.PyGMgy~@ūO,ݑ]̹ZDzBt=r,j؞Zr&_ms7U