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 k' td$ ] HOL-Cardinals:threads=6elapsed=9.150cpu=48.412gc=2.152factor=5.297zXZִF! ]ŗXf1-q恈<-¡$johkX2I)']8PI{y5MB5OI|mҞl]ʛJ`/>"jU}.P;빦EӃ怞g4݆`M_6}l@ aԎ0Eh+~%9RXkyG%zS.[R _^"r[c>.NA" TMm4z*ͦ i($4 L=KB>_X!E>}1b)O1Dھ'd@4a(Gt7ڢMigYZ7zXZִF! ;,]ŗXiɟ1?ߟt;9BP2CZz眭5 z^,_^wAuآ?$D_W}4ڴ%yxrT16p6;ȃSe~m$ڨ&)&;+k=*twӦٔuʑm[([YaVN~ӡ3,OpsYW;d. &EhAI[m|:C/ m-;㝫§b,igYZ7zXZִF! , ]ŗXi%96.ۭ!5.8> d8Y4\m)w J]Yn+k82Hvޱ$5&Xkϼ2y1Jd';O؍8fZt9F`8v͓xo|voWL,K uL͐??Fyf%l" ;dj&k&b&oD _=Pfbhk?o z bۊߺfݴnӧhy4¹H"U姣OqX Wr])[2`.DE1n7 B"d]R>n3a*uBf(Á*5)wL\r-ֳ4SxTPAgnÍN!(3^p;3Kҳuh(JC^+_,!e\PUȋ3Upt(22.J2{ϳsĦZv[|l, -#)m45zRʺq&0ms$ϴv5Ht Evqَ^XAˊ?ӕN.QYWK Lhw ,EdQE_?VeÅ3m#lQIU-IUɻkڕY vD%G:q=%$th8w`XUH& NȮx5ȶKorw'.+ :DJ$BrODI~311dXXo%` (SA칯[&CvhM]:<4}Uv6<mJ^}l㢖BU]Nws7a'tl6ѿi{5Ix&pu8~L?$}Ȧtaq5O3A iّ"~L<^9[!G7%OQ