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   m5\$< ]/ HOL-Record_Benchmark:threads=6elapsed=101.318cpu=180.244gc=12.272factor=1.787zXZִF! f]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\24/w4UƔ]A$&`1gU :бgYZ7zXZִF! ]O]ŗXiɟ1_sB2 ( |Kln/h0 k-}k1T޿=Ƃ1k^{\*}YZ7zXZִF! ]ŗXi%>I~) #+s =9 ч"lN8|9ZP{S JXVkpUI /g?zr5DQ!PȠ՜rE%- POimR;X1Ơ4V yɸQseI_~"^m o1!}EnUI"ƥ 3j&JP1ay ࢠKDk3ѽr p!aVW[ S-J|?=k dkO8E^'Bd,$E)̃ɨg zHbz#,nr=uHo//jI S!N𷎍;*f^xƻ㸑[hxN*&:ȰsN%tSq3#\~ƾ>.`иMֻk]J2EB~@UE'1]kHqI%;gnA2D+]7c[m?Ȓ#̤Pn{g\ ć' Pb7.54xXήg ik`@VQ>x:ms)q"=iݎ/Īa.c3JKbG#-pI_Z.NBtMgK3Xtپb]aGHq=l2y@4aDYl%w`!T^4@ۅrk4|JPe ={nxj1AB=)cR8.ɵ*k>fg|kܼǠ5rp*'-5,:vOz~]Wy ?t߾ù4H` @T";\u+MbTQ8lRK93⃪z-!ޏ&hn n["noȬvlj$ێqC|/w|}%fxϗ;io#gn )=j!rʜם++>e ]mָ=h^e -هR*ls8lH80=J٨ݭ1(a{8C|FKJuaJ-zdrHcC +ZPڲ(p/";G= `)ẔPj:N \6.XK CքC0&(eL7 Bdw>7d/Ž!ʒN!h&N-ɕjVzHR4){(Um+:A~1phb4QEF%wGJVգ:b5$v:_|S7`[RLqޏG3~8,jѡEԅҥ ^7xk[is kȹ#Gzeyp7i x#U5D?3ajE `xBV۽SN뮯~J+j%wgr6=s590]C<4TW.y39i $ܧI |j996{-G~3pYО'W׻ CC[ϊ9|au( %+1]"AV+ &UMi"2vXCYgP^WKqb"{~qТ8kXNYOcc41}8;eLc,*1͟3Ovʻn-* o(='VQa̚6lF>g3$05c KYpH,m9':}dL>[ b0.5 Z (iǴ룕leUa^RBu6Ee٪m2^/F pג8 8DiQWҷwzP`Q䩤'=̻O!,bҽ~sp2KOuY]ڒz<O]$\A& K( J</$j *}@7քcW6gw`ԥ ?#zKv-zZs%M># քR' [SAOr5DxUmos X#mv4gUƱqzjDzB0ˊl~=d-NhDGRag>?2r5f6wpdkuZw=/ V}RL|>܎63%H047/Jd3k=Ԑce;l@0]0 ȡңS𤶾K. zzwPe[(/ȏLwa&zJYPc>3牊j Ή^%`9Myy)M cX< xgVED$[_W (>-di,U]׃@*08쯏gr],x8 !F~@3_kfyTv5)y\{xe3V5t,uҐ_TW30ڭ L9:v#w v,^2v):\ Hꁦ}BKR12ɅE5Zj2ᆟ)Y&1SeK7 qoO Uwx A.BJs3qVzElQD(zc{'|-&/v( u)Ր!u~ ")s>I_֧Ry>m4PiÜ$ -,8T8~0t{#oǑh)=ݷ+ɡ>˂,oeG_l}}RZvfQ̼ @$ uVY­5j4U[&ԕSGxs6Ű>Ngr+UkD%AFR$i7P!:dgYZfb976763f9d2b39b2ffffcc888ac86b872f95e00357b42ac3beabedec26b51d2656ba583cf1eab4b 15d85692b7f1786c47e0baf09991f065726d2b19