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 ) Td 5% Jordan_Hoelder:threads=2elapsed=19.387cpu=35.296gc=1.300factor=1.827zXZִF! b]ŗXf1-/6vR[]\Rǁ- 1<4OȱCMgWMmdE_8f t3[W;d׃.F /`[皚LOWs)胎Zwبq dOiB-zL(@5?[Dچ0cݰMԵn>Q>KD]ZfIOi#?< SްD]T, ZKv.Pu@ T^8\ Ï6(?yvaJEt@^F3CSi86вOeW?%kbVLܲ,0sʟj@`,b^s9R9S-} &49sZ@yV`2CQa((e==9-W]&z>tcx B2mE$ὦB:TYjޭfet3gfs;"E3O郍?n6+K|D{eo NOWoFcYd;87'0>Z܍ Óy`IC4&lmiJɠr} +!`[Xg38jaNjC}Nj n/ :R%o,>4Q?ugx 39"IRoAl~fZB:$th QX# zSbZf "Om:7wonGH?kׅ"k/쉒5/; 0؁rV!+c<6|(:{Ya&,b8j%C=Z>%w2xNeo2NTp 5s~nD\{ KYgktk4}»t;oi$@2΢\@fVU-kK d \ ̐JJ ӡl7 99=@bs&O j;i2uG~;`C5oc`ؾwvYJH%@v|z~ENsZ) N5MXNWE6ظf9me U'tu.Xc̗_ ĢuTGj-N?4`Hr͕5&ҡل¾=̝ϵЛD= MĹ.)/[[2Z+0uZw-xTGR,\鷉 I#}'Wluq;計Gx]r WssQ9n%LP^LXMMң>;T=C!ky$8swvCe[qr#TG,;mm)eIu{O#&b[̿{~1Œ"K H9sJL\Ɔap2'lVrt ȘxWql8j=r gYZ0012dfd3e886640dfcf2523b5dcff829a64d5363 0d4ca91b60be9500c90aee83710a5c32b25701d8 1a7e79d45868f2511c1360a7061092c3726fe930 4465ccd5b4a4a9c97df21605afa11aa4252017cc 707f7081877423ffbac6d7d75ee7625d5f888056 776a7603b7735c5547ce2f4f9d30bce956adf76c 7e34b8dd8242e8f3e5a2c3c8043822a752a91cb2 8d413ec5196fa7479220c95ac4f71bbac2b0d693 8ff15cf0c89f5527625eb90484af1729d9d15e0b b176700549ee0f4c8e3f968ae19d18603871de0f c0e02d76b3c21f3b457fc7b084784cf6be553187 c6d33f696908642619028f80d5d7707602192bd8 cf9dfc2a8abd1e2b7e9f07c133b17c3f9f752bf4b9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b796 544d5273f63ab8306b7ba89b4cf320cc64739cc9 88c76860c70d62e9b5858e317f9274aecbdc5061 ) Jordan_Hoelder