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  q q5\$l ]/ HOL-Record_Benchmark:threads=6elapsed=104.017cpu=176.552gc=8.480factor=1.707zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\24^DzBy%^Į#}$$xgYZ7zXZִF! \N]ŗXiɟ1_sB2 ( |Kln/h0!Nb[^+Q_OV,0E h$]ݐL>j]ON}YZ7zXZִF! -]ŗXi%6ưK 5Ucm6y/>4#UD4T$c=K,p 2(a~\:uScHD&/&KT6 ,p貔: A766C~kT7sc>iOG wmhk,#sAo#aH ECi'.`{3^r+23 `[0v9t `F-.#E3/^Tlo&3U M*+hJk78T8]A"cq7n]VO{MT&wBWi 86rv?q=dG2*¼i~ oP yY%qEP  au^Gr7kW 5 HOL-Record_BenchmarkUCE66[4OO}9bW}(ÿ7 ۷d?9$kX9U2Gzvӊ`h 7gS,tcك^?dK#!00ڰL &Qj} `^TVi)&A9Nυqu>\ kGA\޿)/=e4i5b{bap)3ѷst[3udUUt"0 c[@7/ל[:';k*0@UgU+4|jm k(|2ar'eQs=[و.E vb.N>o})Z'뒇f1[ϕ*l1e.PKI תPX_FoKұO嶙¯3pCɢDn#\`DF>.͍_ϡߟQsHnyi4 a7%/L/ԒO\Y\/HU c 76}51&~Rd v):`B@RcþOtˊ!ALDqEX=X qeujA&Ӛq#piThq巶GPeJnr;Fzlme_T5@iʝi!xZaaQiA](Im_| piT 2VD?= v3J͠`X{l|CRNK,Cnm|qg|7f0#L?g2YѴ?5he:3u@c/vI8,.#2oFul#zƋS &`I5[*R,y>#|y7`|mN!Ř !k=Qi+l"Vs,4a0]u¨V'|lk7D8{ߌ+CyLR<ګgRx._FƗ2ΰϲ{n-:p~'qɧK8c8=*@E:Ŏ1XETarSΜIC 9Oni.K^[^GO\G>p.snR CU1sX+Q~OMjg'o: nZL_`;nY&(GueI9Ky^NY4,ӌoTF(z_VVD00-cW.LZ<TZ+X#<+|oiAM>eجz}"9E97LlyW6iI5Du(PClLWzFx1+2vh)-J2rFo+kք9|t~1YvZ{GEvqXaR}YAƇ^^4V”DP{kcz?L ŎN<}OY!窇X]<y@qCyX " 9<1!rOX CN눈0-i<7/x*(Ḟ ҢQL SI8P HYqOq7LV̰iy1"i4R$ %ׁaN<`̀:v1GM1+. l vG6Rv ɘqҽK[}ٷBz3\YNSP(T -<{cKIW?MqI=߸3֟8C5A;!z ?{~үaٲq}Q<dĔ08!JT\Fsbh}a\q>B }zѰ33Pj-MFұ?0jS0%%C&"&?HyRj-|d پo0zGUTU׍,s  ^B<ZzfuGhynJCo>VrUu4膐c0#\| {pl{g@hHd.6e۞^%L O1+S-޲ycwәG$_dC@*tCVJ%L"Aަ:I 0Ƽeqil7oP*˖'sR| )d.#Z3Vy!'`èuzarAF*kC"?{O3`/sUC2hgb_4ƶ7+j!ɉL謕<N{5iя v:~$遀NX10ΎtM#\+!xpbmR~#%РwIP. #D~Z?Ȱyb M^ hqe~SPGqUQd!@Sn x5^)fJ@\m]L Hstp>w//a+ 1csJXeFfʄNQN6V*H{ʗ̕UkJ; ŒVljgQ7Rϋ&Oп; (eNILJ'gZ.MK dtz7h<,W* 0L!sHq3IN7O2(@ۡtȹ=f0uV߷6 z% IJaf c903>TM!FE u`V%(,1 jăas)4 ff^)ة|ϊ12G9ïw (ۜA^qbd!Q9NWxP?`K6l6K;5p@}FDEʏYwi In .{ uոlu@--ʋM4V渖$,H}-)`DvjjT@ MgAU>jyrN4@t#( lqbzC :%Qs:WrYz:s!Yͱ;ܺ` %ךlU*Bh0>P#Iw.p+S*wLL*Uw`0W.i1.BrP՟?Ӳʞ Y#O ߒ<-&Of, c?@Δ}%Dpuv7|ycͬ܉u:Z6((W.gi ݸ$ₐ!#a|L*{5Js]W[$onAC/F 6w\nsj&>b(zoijNW=ZԪH{ \@dQKQf:+ :ފ,$"dAo 2?&ɗIc,9whhCq<Ƭ2FewF"+ԱgYZ6808fa6996070b6b7a088ab23d5a0ed54b74c7bc5422efde7cb6d9163378abac38277ec5e6492f3e c3b8cdb1a9872d53a481a837a5767dd6c1d96ab2