SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 $L ]/ HOL-Record_Benchmark:threads=6elapsed=99.125cpu=178.980gc=11.040factor=1.817zXZִF! ]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2깛ETRIQ]DJ!L,[ >2@y.%:MmB9WgYZ7zXZִF! ]P]ŗXiɟ1_sB2 ( |Kln/h/g-E *2H,┐9Os7 l^se}YZ7zXZִF! []ŗXi%>WQ:7gF6RQmxQ+CdY.=$*dRk8ĴHlZGpw~Jmm`2 cEm $p v;/ L29>8Il˞X#YMَkj`3zYUD?\ IheS)_M4!@>2s cH!iao0iE.<{5azBfʕ &nh i{ o[ &Bꂜsޠ#s 5 HOL-Record_Benchmark  1H2QURܺkb9yu!.# [7e˦f#69o5#k0k&ĒȒ !?:q%xuK>l iJr[SVRsbCpB{9p:ۜ NOıLKP|;=N_ʧy)ޅQ{ncHNt44K׿%Ia`xbNJ 9znA  hڬ,ztZz?"~IJ]ʕ{זY y >?᷵k$063A7pHU%%"fg\3Yj]\ʌHu3Os9`3bDzTO$.%&q~ iTK:`'q6 :qeAFK"8L' @rNQj$\J wbS4;1U^kr3Em:&!X*RsWOXagX[hMu2ÝB"JCpe-o3L?P{ >nqn4g0,ƵT,ɐH,N 9'樵eWb$ 83ygm_5-BF#F'޼v9#/k+C-!g4F.ڤWG#ˁ|HD9_5r\viv(_m#J 5~×ѵq[Eu\ "E# :Ml+WUu|G~&j-6b[U;ފHzӀ-8H2S@דs3݆~薱?}3!{P(){ineKnxi64&O5;n\[cSXudkXl= -4S5s,]JQT;܋%Q"_rXRۑ\ #!R J nrԧD]tݼoE#'<犪Iu {W%5V[L=7VOv:.O^Lfav~_Pyjx ݔ:SC \ye]6rAϫ 1\0,b+] C񌽗]IP5Yikg "KH!pTiO 0;Xox *: `!Pz zsd,eMOUU=9EK,SO%?MIK;Ors]]zM[vdB@A9goOuK^G၅^CWW5UB[ILB#tnrQ9^kkɰU%r*1D㚒C]iü(;;oe+5&YEɿihKܖrѡ=70AD*"{^,rߵ<Ierr G1' Pj6g(̼x%'2дi8Uh\,J/62|B{~2;iαAwԭ~0aOrp,2VY:z-XHh$~󷎷VuqCʋ  |2\<_Ww@#cVpb<̼܇Br}R\֨Ԍྵb$s'T!LBpo決vIej}2wC \e9<_w{#IK uڀ=Iz+-[6<2Op (w0ri(s4l(X'9'^b5o&jg?%YtDF}kV$\>lfVRXR}CH]1QI߂^LO}l*bD KsJjv( /e*iB$5kJ G5fXQ폝jfti&q|iA덞g(sAHZˡ,w$^Dh7 mH-ܨOHDC!iש5HIZC$HCDcR?U&hWpx[w#fqO;'63J `ʱ6Ö ?˚n|}?"7᜼Do8mw@-6g kI烁ٚS 'YɬGȓ%j v泊ut6Kr%+1XNGAYȎFvUm;cwK.&XTY{N(bם{y䭈M$ 1d-+b|V[ \ی\ƞ\\&A_P/<6xiY֮%g­]`*!