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  T ] Corec:threads=2elapsed=45.975cpu=70.032gc=4.828factor=1.527zXZִF! ]]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$sx95o]=ljD{VǟFQ6.W$/oۀVGА;vpC>‹YBڐ.4>6f8&Ħ1.]t_dgP.By3dw>w굶8ɵ6՞6ě&lk|3W%%,Hԯ&[VʶܧuC&>:RcC\CZY#gMDZNB9[7 lR>ר RN,G՝9"-'_BL/tJ2]DbHV(G2zJQV7Llji-xdUQ6 q2Q3]Ug#\ VN\z2 ,j Y #-쾹)DJ;ZVw=k]p. 8pԙQFe& 351hk="Kѻïu_F E[ <>bF䣕9H' T{F+BC#h-3 zL<4tКqs}"⎍COH>p#Kэ Xwv&[Mb;t "¿bm+?\h C=se@cnyHn0BhITֻk%է)C8LX  ?}*6Cfޡd,{ӌ9޹Qz6] 9\n#+Һ Uc8aG`ѯ9WS%T*2#gU]p{E`F։Fd:@OLHAǺ6pE|fne^& 9 >w=p`n&swe K' Ay!~0.zD8Oﲱ wM.aM4QBV+BeOT4(p ETW\'!`l8irN|2.J#L®}ye}Lխ0*/kf6E "s4Vn5LK<_I|*s!4.wn^i7y{)]Xq U:E]_WX7=P Hx1i,Oo+&Sy=P~Yͤ~c=nd]v7 Ͼ֍$Ћ` tI+fclb_Ђg!'*9tM ac⊰yxM9d] =TP-dDPJ\/0O(X%:wd0v) ,F4 Cͧaa%ߑ#gxg5[;+Q5:0vq&OzPSqD0#j{ "mnƺn_YPǴ{<|`w)nњM'86{М~͑kκi)}u,ʮgTNVyT oZKXVZ`{JF>RpV.]7FG۔_~VwZV `vg,n9qKLSzPnr,zٲ2@I{ cYmM{^5+p9VmTAJFPIkفJ2m8Q񇨿fGoұgYZ72f4438a771cc603d1e040f1a71f2e924cf3ffa74b2e4ef84f2f7c72f1d619e9e1af08455389b338 22f28afacbb5196a9cbfd43de2031d5f2e9b1dc0 01763d1f9d1dccd6e1ba7f81275e973e88524c05  Corec