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  45|t // HOL-Record_Benchmark:threads=6elapsed=105.237cpu=177.512gc=8.940factor=1.697zXZִF! Qx]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(za{>-m!'5iN9zMN]>`xaQ7䱤ez;D gYZ7zXZִF! 71]ŗXi%rkVKôG`"j!3'3b4;v?7p3Ԅ37ʳO|kӗ+*,[0k$.5(53/jSL^YS+'@xgR܎ʒ .A qAG1|>KQQ0ı)Z[sRD 620%y3~hW@i7J Dy*aM5~)=C[/BcsLwtFu'QRM!\Qhh<,n޽47f7]Ɠ{MG]\lo{dy\cQ)Q"R!6:.>ǹkip6n4 K1*W5 .= d^p8Wǭ㤵.9ρj2&w,^dT/RX:wWk $K 5 HOL-Record_BenchmarkH 3sPo6Mވ]^Z1a yGfgdS7'goG' 畋FY{041F š(;$S2~׀oHy8$=o|v'7ժY3xVOCj ' g̝6D]0| Ps‡ބitp|(H].駼ա [ B]{": n]m;0NMS?cS!Y^WsUqxƜ~k{< eT@ Iw_2>0( aL:KkPMPhu6!"ڊĂ|6$Qj:DԦ6_Of DGzL5~Oi$oVr>\eͿǼ.vTsv {ur]ϨtЦtkhr^w;Mwq~W)y~Ymq`1 {/!$Uܮ]W؂i'(6WDDYҙzg؞F,UBDG=3iy&՝` b@ [9{4¥YF ă *] fhoH>9x,D c%mCotl8!)^sIBSҚi<$(%O%X^ qV(w8_R2'2@v6]:שP(}gPOOIX.{HgqvYNКHSȈ걅Z_\={YqλT"'@d Ge+sheK$g20S;,{3]T`ޡϏ7BWɍIfieFAeպ!CIޡ lͫ;tm"]IZN$b],Ң$ͻRL]4`:hA|C_qxβΊwGXorDt+l~gVeo.)0n;/Rmv9)[*Aoί@RRKr,xhK{U.z{?]qOCǫUfU(GT],QOɠX]aH9HM߁m @ֵu!$QLL0F&Ak?i`u/PLuV^>悊Skv_qx,0tp?Wy'dSjUs4ȝ hKY ux6\NǺ:<;lMmkMUFKԏ>֊|N2TW.'>x\)e5S𜝣;_G2ϰ шtW836lX;3q|^bZ^!؛C?rcJ{xKU@` ~R}l8rPY׿GRxTWTDINm6G`E<@\~Y LùUϧ5l|#bz0pA*) 3&}? _|FxQv\n@q=2ޠ m/nZ,xd!`S\^L Hjl :v+C覦(oRe_a@y hԍ'ڡ.Ʀ;9SYXF^uhY۱}僕.@D҇ o*? *@Z΀~}I1Q52=^kN )ֿ3B^DS` y1}$zeꆀHܛ}qK^W(;)K|[awP7 30@˞7*?ߛ~uHA`b{^$=eP7=oRd`_#2+V-_&" rt NsHё7 %4P;tYQ> g2 ̈ih*W*/`$qq-K"A4OP\I,~l%mJ yIDT2/\㘛AfK:۷+ RzΘ!_\ոoD̥k-<$W~"1?gYZ73157cbdd8ffb7305fe9e69fc7300ae6b2f87037 76f035ecbd9a4da6dd94abdf37abf3ea01c053f8e32bafa5278104b4080f2c7378c9e2c506c4e27c 6a4c2b648ffbbe61b70156c6b0c49ab49daa7b23