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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
| | y'|DT ]
HOLCF-Prelude:threads=2elapsed=70.415cpu=109.264gc=4.488factor=1.557zXZ ִF ! 2u] ŗXf1-q恈͐7ӺV8'r@ʷZxTi>oiTi=78
od &U|]
8V,r[tsOm[b[hզp=ןSKoypK]T(B'f_<աY~tw,WkYEz`͕ss G.)zwQ?sb Fv'6x^Pyy+k"R8%\B6i,vܶ 2?&@uPqjcq))t(l$
.4}99|"T4OwDaG.Õ(ˣr7h۔qO|NdkJXNK讓otU;r':Kh+%`S4S!w/,j,N @a_mۼEnB
aC2ϗZ'җ
,Wb?֙;;}LrG.sJ:qb&dg2_9,OϜ!\)R$[j|㺫~T CG&WfEhPb5݆
[5We|+N!LکitlƊǂxjIw`pbM^]p}{:bh*F.
rBn\x
W6A\F\l=M]%@JMƟ r;Zm >\JCsBtRxn5"Z_,gV0(07>dhpeeǽ[\G҇xi?ihIޱa|4By-D5t%٧~Q^cMHh?D2TȲd!ÿAVa#{bVg
FU @㮺ؑ"݇FH9bG:ch|~L#Ry`F++C/mj˿ 0/ 2Fw` e d#g YZ7zXZ ִF ! z] ŗXiɟ1˦rnzx <@0+gML%# ."bJw[f5gXmsj& ^?~U[4(\7MV'ue&)*݉i'[`a}Pp]IoNQ_QAtS |tϕ"L]>0J bKZ~P I+R&53M@"kpU+,JUŵMnq^RC û{<=Wonɫ>Xi,S*gi1iIl(#Ĉa}F 2rڶ~٩ظ+cs~5<]ߙ`hnί ?I /Q^D%fżR-Q^ J33]mlrg0-ȓɪơsR⌚lG^ߜJq|QKX3)\sGQFF1fxoZ"Į:zfKqV(!MDKUP5 EI#, >g YZ7zXZ
' HOLCF-Prelude
F ! dm#] ŗXi%>gb^Nx7W^
xw$7Դ[c4T-I7UcƠ*:.TsH;d@cݘE\.HeJim:?W' S1>"ȗ\
a,{U{_@CKШ$߮H YygfEOp rU;B)غp|j{#X>s6{HR|4\!09#Q#HV3O_V&/P4bnB_( 3})pei-ٻGUaC]0TܚQp
gZhwm*;5C%@gYEDP<@`-yT藻[qTfay]RS]]*/p9ͳ4ج\s|>_&0daK
-`Fr5:mR=9}iZb;r8ki79wLΎO3(o_O4qy\@ |'D:m4j ,يˈiP^0:,!Z=* &