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 ||y'|DT ] HOLCF-Prelude:threads=2elapsed=70.415cpu=109.264gc=4.488factor=1.557zXZִF! 2u]ŗXf1-q恈͐7ӺV 8'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?&@uPqjc q))t(l$ .4}99|"T4OwDaG.Õ (ˣr7 h۔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Ɗǂxj׷Iw`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` ed#gYZ7zXZִ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}F2rڶ~٩ظ+cs ~5<]ߙ`hnί ?I /Q^D%fżR-Q^J33]mlrg0-ȓɪ ơsR⌚lG^ߜJq|QKX3)\sGQFF1fxoZ"Į:zfKqV(!MDKUP5EI#,>gYZ7zXZ ' 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 -`F r5:mR=9}iZb;r8ki79wLΎO3(o_O4qy\@ |'D:m4j ,يˈiP^0:,!Z=*&QO>c6ѩ4wAYİ~<[_58$&<)N^椅2{&I#O^|MS[4$kG֮2M-bE@. Հes,p~^,˕B -vKӎq{8?D氶KbŽ5f ]H~bRBb/sd8# u{*^Q&=zd:%R* RXϙٴX|1qE#[]`1( kTb/ j u\o=HXԯӊ߰&(+L'u/Scպ;TB¨P۪U?Xt]ؓs3NOu7DuT̻Z!ህyy&xsܰ~j[3UKe-I*s X'sV;ܜ ff3rCUaB }gv >r˳phDlЎ>q˔Z\!ȸq-!`"ktb*7Hk* IMݫ0=]jqPi1uFG"|$Zb@ CY}ÖKn].4\ق'*]v81B,wfm}1oHcF̽,ʐfK dߗ,ϵD V+VxB PoQp8Lxǧr`.Z4#:CLga!AS Z<ݤ 66kAF]4Nӥڞ@ KwŠL?QEgC#Ś֬LTLˆ ];% ՒsB(0Z4mzfX %Ïi1a!}cZѿWlvx@vŖ!iBvЇcBG_<0Ih̉;hf h~wNOFp*8ohɋy19"ys ,1.vٺ &|]뷘#wT XEI' tH|4g0De Al4O&+ 򂘿-~VC/5!T1H)ZOE4+ JDpR.%eαL\aط%/žLBuq[G/s4n`aX,ރT0P%X2;F@/3- /j:"i7k==&słNnf%玈y_j , R4&'fcF=du~-_`!F$,9zE:Mxp)?lؖkhm>miZhS,80+˻5Ԏ39V'4zL=22A,jaRY*9(|M~燎6zxD"/s ߜ3mG餱ʶzT_а3,X;7]gZ^in͍`\nW"ޟH&ʫzLj bվ NpgdāM.qF1*͍e*1C̹"g಑ԑK on?T[M# q:4S՗p@0E&"]M҈*NI"m·#Ktb~#iX- dK$ND