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 || \td ]/]HOL-Word:threads=6elapsed=9.127cpu=40.156gc=1.424factor=4.407zXZִF! Ne]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z@Z˻ZT #gv=֗N2>I4lՖڀsʍ(4l% تX̄^ I[ȲuYX<-{r)~nWy{eć1w䎵hg Kr\ԼQ,%at7&C9|dz-Q ܲ ֕"Y"~HRz*R!,`=(b՝{ȄҘRaGw[/yx=^t-E.襢" *)7eK_tWdD /\zbPl=&~ ~ ikI.jUDriXsa%Z?vBJ.|si1#LR n] L]LJP5dE[{x'WrҲo6Υ3CS9neڝq `$:ȱgYZ7zXZִF! s]ŗXiɟ1}?қѱfدyQ2$2|B.AQ܁%!Ɉƭ\ZGft9)'"(FASro;j95t kK1!}? ӑOHBAxe@EZ-S~98DN?"D8 UlۏxZhcNGOt3C 7N^ dT3 wt}FS֞c+mi0Z[=-gS+xmbapi`Hv3 H F ^-k/?%_k/;]t8.oӠ Wlgh]L}%s-# zDZgYZ7zXZִF! ,]ŗXi%6YP {_Nu zY[d,\_8j.&BRq ? ʇ lxÒ16 -gyW3<ժhϪkFB[~;Kp YOdnn-l[brJYOY&'눥رoc}T%J9ssT4~϶nzڐ%DLv9} ({/UAH<>WKM*c'H(#7 x65Q ;L6smj~,ݠ$i/WVoxu ( 5ObVgm&^S?B/ʸ[PS|'t֐I%I5y;X.C3 [HKs̬(H *MQxmIp+^E;0|1r0qKg89o6=ٱO ņp;wֳ¢߿~a nJBƞB&zL5ES͢.jqpbw%ㅺ *+ý /P|2׶B=lk )f+YÝDGaV+2:{R$ \ yh^ Tk5:p4V~8?b DrZ\`<œDP)z ʛRDžgXT#kJ'~\Qy1ESSF5kxXci'MWw`vu6e6PW\DU^:V4d<^^$?uMbB*gjia}s'wX9 T_3ڟ5_ eLtlcQ z zͿ֓ UU9$87Dsrݽ84Bō>mZ<7