SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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   h5d$, ]/ HOL-Record_Benchmark:threads=6elapsed=142.704cpu=212.984gc=8.784factor=1.497zXZִF! i]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2(F=$n;m ju.} ߖj5@ugYZ7zXZִF! ]O]ŗXiɟ1_sB2 ( |Kln/h.̘J&Z ~ @|a $3G%h`dL 7aek^{\*}YZ7zXZִF! ]ŗXi%B')bXP0Zx;~0a|Vxbd&]푾ws/ymco^L|yt#p'=*bj'^Ne"q^ncKMA͵&#Gsy.ӺN϶=>a)0~U7(~xdFߏ(a@P7͈-n%J h.mAVE?e^Lאf>Q'2e7#ǘ?M`gaԲ;Y ]La&@\FʰhjOwm\̑NG7Q[y9y' Wı5{\S&M fϛ` Ŏ&ԝf[;hm43yL9GL5~yZAtDn,xFY'|WZ8 g =z=sW n4Q^@7.A@uzh U^+8" V9UL޾4n"Y]RLXG; ~a5p)ΉHuKz =-VD = =U\mʬB"yg=3.=%2. C ͤv!zd]pr I lpuw!$2o-TuBqYNC|2Kt!OloP HpׅWY'wg˫i)E?f7srŰ}0]p2M(D{iSZ5Wv4 1ѮT>X;8JB!i8V+Sl÷w3j6L\뇢ϳ8QD62JϨHΦqdun.>y&EaE.@ z|tUڢo4h]IE,(6<9`UOHcmb֌ڊȯ Gd{qks zDsLp"l\ob" 4np̑vCiMd4T<' PKL֙uS!=Ryz=mܨx&o@& 熌C4dVÞOܞuċVG=Q>2~;:&$KQWpF ڸѱ48 b|B`EHK{Ժ `#G54q_$AlرTA]i2k&H ~_8kXH4jLysf'y3"cyKowu*/xTFwZǺOo@d C_ 25?x&}h[UN8F8ZpJy|'hPzƸqbqL1_I'N0]bP4OסڐnR b*R ־h9y726zfqNٿ6ep"$瞸zfaP>Uo:CH+$P8ɑ/EshfeP[z>;ScyY$g.bsb/^kg;=;QRr\0ս?!ܹ8yd) brnZQk7w>zEq aK^C깰@+9NsKwqXG %%Oj˨վnn|K4Xip6881-tk. \GH!!`|a*n2 ]{gQr@dR_ ai|E+}JGl$LH:Ï~ pLj@aXgO q1b$Hzf 'J>:m~Z5kH⧎ى瓚M=HFbL8/Ip/|7_XD mG,1""h430K| 1]^3MʷV.^ᖰ2ϨMkHjo#5moQ\p "?5q ^2,hU欔?"(Wr݉F!Hega5ƢV#>]:No_JLzv, ;/k6rs>L v|ͽͤDZ~2`18cB:#zT}9bkWI$4`Ś=yyiI=7dG wE؟gwu zJQ*0ZC]jk5LE9cۯ]aF ԙXfsZv a/jYUhhf{ ;K$nJ1𹧪@~y\gHٵ{ 0n՞hew(tn Fʚ^y+ gLYӲ!YpSQOT@ ܔ%[ lԯ]ɗ5XHgmzFiH{̍8nҝBLxF.NqYKy*pČCNKGN4#0 3Dg&!FO^t]e->K_-(ʅr؜tOk7EA#Q2wʓ~6`D2/Od11&"4* oVft3 ;Gk〖u$* ⅀!8փ#Ol0(]2ܚ_k,EPVH