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  5\$d ]/ HOL-Record_Benchmark:threads=6elapsed=97.600cpu=170.728gc=10.328factor=1.757zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2%"ac >$۝m+3]xgYZ7zXZִF! \O]ŗXiɟ1_sB2 ( |Kln/h/ YEbn-ۏ༔[`%P 0k]*U}YZ7zXZִF! ]ŗXi%f C.Md$ΨTbSIjg%j^+uis}U%fY7㖪؜>o&l1/҂ߗ.׿u*Lu|yL;iqqVA& T PG35q(WMq;*4392P䡐%u?Vnk.֕o¯p1?#YP)>H;mdێ_ ~WӨ1:E6/.*FBaxTYgR40)v. -5XB QhGc>k0m9 b0RtgmݹqW8C ߿ןy~V6TAdpD2hNl GL҃, 7Y0Ь%8uc8btilκEtA<Ζ) EHdm+OPI:{/_T Lp?`r^:.PDms4mQm8.`[J8|R;G}2LJuؑ]G6tVrG2AP41@Gd'|AZ6O\{!s'qM*vrU;Z|d^ 2|7qtaN> 1g<ڷ9evٓˤqjꓡ8!aL]2zI؝ɀ(MgO1 av,JM ˔3bVkw«if1 :_q̻ϸ|F|Z3(@{ybEqvppޚJ֟ ԰m/w](5E^HlZZc% p4ƀޢϐ+]gi-]~ eOD`-ԎriO aq{4gT[i_9;/n&מl ި!<$!_\nsa)߰ Pح NmfNҺƱ*O I6_Jx0ŷ%$D=ER=F .Dd"Da*0x>* |ILhV>IчG>63nB}=W-c'Q틗f$.~}G7%`!Ş+^G;z6hNK0۱] Ko} KRECаb4o@\Sxz+UCrő}aZ(8rmKABgI:@y~~uYZHs[=Xf)?"~#>(bQT^ۤiʹ(t]/3e¼E'ӯhy,b&vNjC+-|ㅂOV^RO& %S pZ1чܓyՋ\ev'x+'^',1Y O {|!>`tz^fdݓ Ĩ/#4-!y4MFW{L/  &v4DS-eKzb8Py^{UÅ{ 8v]O; '&οz4=y"r K:j}@kJ6ڹȈӗZa= UEwIZ6l^Y X)(Da1nl>ҸT@IdkS~YaX=)V_ K e2rYOط_?\~nVª5!8Kf5*E rt{i;z3t_-ȆJUHŌNN0~eGeZ=L]9=(1hV!ɁBőiGMĽ#c% C(:>PV~hO$3vN8“yV+ާ3=4 ̛mmm8)]E؟?(nNv0G^["i  illd&Ni55Ơ:S ƉKN,^^?pfL;FTyN$Il*jj+w3'A\ b1hrC;P4\6REtQ<~Se("$NTsc4<$ (qCd_P uI@jEj5 _oџtYZ:*#D:ӵBz | WF'!GUQ \ҥKf |]@NʞetNF_qxSM *!f) 3o)eJ]²w,3jL!8#!.SikhG+E6Wca 1D!d YJ]W_3i'b{<cw [ _Mwώ^tn[mZP/'hBbV2fc=j]>ђQF5$iY*^|wQNo]v9W1KI3)`/%R!ȱgYZbab2f042c3941155810ff1613c5851ae8c3b49b5dd6687a512096fbd242a18d446c4b55d3f2372f6 a7edc0dfd0db9e0ca7cd3388f7504d2b7e824607