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 ee/ dD$ ] POPLmark-deBruijn:threads=2elapsed=22.797cpu=42.424gc=2.720factor=1.867zXZִF! i]ŗXf1-/6vR[1u 3ܸ&S$'W+$iq!t52pI.4E ynx`Ss4Ly{U+Sxav{LpՒ O } ݞbjhӢ ϛR{\:%k!mNo % Lo,: 6Jnb),+-J$x3a GVq|>:ڝL vb!:A쮰8h# D#y-BcHXdc|Fk@nڂgjԗ͊Cl.f>N _u[JO&;B@زdSweCXm}(l`3_fn_m/P5N'g^#2E\ ^}RcTh2\,POuD Ë ~PA sק}oJ`QF6F4p\ur5⽸~ulⰵ1nR\RSlTMߵ=T wiO*l]^ $t++M%tv A ]Z*@cB7gYZ7zXZִF! ]ŗXiɟT{F moEhuFw=9x~q5?Oc<m[zd%`k:!RϺO9 k9B`f7Dk3sMpyډ>7 :$[αgYZ7zXZִF! |]ŗXi%;iYN]5$s[HK;*0v7%GIɅ+:( õ>#N5:e5lr(V kf޳6d@?͔ 9q4̐.?P$PD<]@~4CDon`! U{?eNqg,vͺIDn"(*'dr8o DC<">2_p5@M7Or^20B'mh](wzk8[,"<2  4, K_{Ѭ8 ݏzib}: <* P_XZ}7>.ږ __UiRJՇ߮5\.ec. w4Zt$|]U䭩U;[$tH.&GԨk[izOF ۞ Iv-QyX?\*l@<#Pa$8Fɾ g=i׹-oKf+P뮒 >ZggQLQ,6ܑ# %`G5."jEZ~ӅDW`wꃙ("IBNݾ09݆)LZ6_Tgu@(ʩ Ëre%m$p((d~)㞂t_W'ƒ1EP:@"vڸs.9t| H Z`!A[.ofRLR{3L ׼_s`@n ,]#Kqڲ4+r }Yl *i%e<\=v:RظRYx-8c} cڱgYZ58b6f58b8ea648244a82aa5391d40bf1da627459273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625 c476bdebca2f60c33824d5374c70fabe6f4ba221 / POPLmark-deBruijn