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 5@5\$d ]/ HOL-Record_Benchmark:threads=6elapsed=99.805cpu=180.728gc=13.320factor=1.817zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2게&04dtbE7>SxgYZ7zXZִF! ]P]ŗXiɟ1_sB2 ( |Kln/h/g-n)W,5ˈ;!.@dVl^se}YZ7zXZִF! uj]ŗXi%>em!IZlg.Y,]MD]Orѧr:^ WضCEZ{Frq/DĔ ;Hv@RRf*;R^O3&TM}JK: &#>*&uI;9<=' ޚu0ļWiٲݶ@\00ǯoi7k z2v@X ^4օ:{慻u8X0ш utnp!?5@"x8'$ȲuzHVzkj}-0AIE*0W &.ɘIc1V6,0ߏ4loSD7Mޠwa3ݚlH;-LmZp|9ov($""NAMˎFh+wpS"O J_{|}8׹d.tƾ}ə9$'^1N:F2mE35ȊϑR\ ?&/*S%T/$UYv zȒJ~HIqip+.WsonM4pMX.} FGsv>T-E J2Pp"]u!|Z(oK1ZۆR5FA`hN☏U/r"v:ѯd)R3m6[͊&H|O8pVRŁ~>bzmu~NGHd;؟#4r܅+4^$N+m_{_;6P"0̹/\RLb:>ӆձaQrn0@Xzk|I35 wO 5]6X6P<\qcqO4W]\fn`C)\t,Ǝ ]1ih5sXY4].٧s?o DM^ᥭ*7`>y,j-T1n<{ m@ypr ҘR/4If=6r0MO> }H" 52qUC:_JMt?={iځ_ X]kM{>^scn9y44`wn"\d WeG`Id/)s׉&-_%ݘN3\"tsy{M ׸K TPCAekY1؀qԙs.w]<>rRV,8;-=$-,_7[!hx8(q$&4Mx[@*[W<ݝ:WD1"aiZp,^rC}*/7јP[ PꃹHv1Gr~4̐Wi0r 4n/}Ctxis̮ZT=EY`Oe]"]=͟k=L\t/n;_S/NTy*%iGY ۄ1mԕ4(-Z{8մħ'WuAƸ(G}YiHA&&bGƖDO$q<3~(=poDKXxl=\+½dn[^AndK*_`R:!)vV<X24';hn 0d0~2 !MpY eG㊈b5Ub^kY8(1ɖ4֖KL r}%WYIg$*$I NyWc8ӐpxC*vMi%&yq޻qU̩ nr6wugNn+@0:]5-j-Wis\]t?bXJvnr+ȧB.F{_1%tG1 D@4HJ1[ fHYmhJs8KFo͝wC0>U . $Ī~X&U %&!kh(M:{g!Ҝ2@& EB`\wJ`RqJ@xc11RMuSmz}sc#2v, T~X=گ근TνAj9< Ԥnх< #L&$v8OK6R]0 0 @T?* *U]ct3,m{O+Y!h%>^ƂcU#$=TXֲ}A7N]q:%++H#mr`eg p$ n0-C6K -%Jd{{rP-j~eEpבE*.iۚ 9).sW0:?rZWS[z~Hj5oLatHRoK/%HWK JVF,u]yٗ[p)x+ ^6 C170i!>2^xJOiyc&y~|!oo 9-Zgf]⁹y|=&ACXF卣~!8dש(>]"+ /as!{,\my҇PtT_X;.7hѭ@jaU1l!k4?1\J#|GLǝZ!>M_z!6hN^-wgy M` B =0x|$W^yeTu /{&cfT2!UбgYZ1fa9297245548ac334ae73b0574f45e9fa8b1c5f8bf312bdadee5daf8facd55eb1fd3c8949cfba8b 7f27bfd5ff52a522c1ae591bd5bdcdfd37e380f5