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 + <4 ]/]HOLCF:threads=6elapsed=12.473cpu=38.868gc=2.364factor=3.127zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VAUI0DfuLWWQA`ޖ)# z~}lJJ|<( \_4e nn:4:iEUN|(.}UdI$Ia rur@@Db"_r&;Ȱrh<:^UHGLA~u&@yP/jD>NQ[Hq #V3Fs(<Tp(TF˪@-@_>Nq<H?pH?;E+vuAQna=t%Ov:1n/h^OY({LBzbW2z%8a7D2-q{V_Zz Y׌ԲC%nz <-DeNK~UCp0b.²pY],K0}A q74c3=or0暯!l3 `!ǂ#@ҍ)S|\Y@?2c5T\ gќقo!zuёh -X'Ty)/I%luNx)Z ruC,rtZ~PQe[õ-]&V!ܱgYZ7zXZִF! V]ŗXiɟ>Ӈɇ9S2]`wG`U i2T Mn>0Yי}l J"V䝄5C$ziKIѭ#A LY mbWr6ن $x˂?Z"i㐵J̰,>7[1 qs@3znIE;e0]gvh0Ѽ̐@T^#xk9 #L^>nXlk8&S+*\߸X)Cʋ.Æqѡ#TD0"+w} su>cgmsOYz&$PKAP#5vQJ0e.H*0;EY锄\ [tGk ΨDxR&lR!ۙ煕 cV7>јGs5[ wXu$U\ %& ĶIc񋟪hzQ%78xǨXC"Vuc`{9L\?i/:0a"TMjfp!ʦpNJw&'^s>>#esSW:@U7?gNgYZ7zXZִF! eoAsXmj2J0qyu {`u߳˗).G֋a]SYY9PIUZ)B $wPDn!RBCnt.F|L$^b;Vdb'D81{?I4;<ʪ]$>/gh?4LB?&(Q u~ξrj y S/gKLٹN4ljUa#G h&e<6^8Q|=$pʛ=\{\2llß/EԊSb~Hk^D 4w}~A_[/z@7GbN܅i %iBey%[> arT aOޱ]߶Ym~Z8$mz X0&`\Y"Ũ!lO+JφM9M2,tA,aEOaup`/"-6xu}0$0yq76|%8W@2jbv] ~|BE2̔NK_qk59: +ʎxFt_j*Tӓ}m 8bR.Jn#,7l h 4ՂCW!\eQ0䮡Fh>\QNӽ4;bgx.IUgYZ9f86b38f62880960ce3180565ffefd1ae735aa898bf312bdadee5daf8facd55eb1fd3c8949cfba8b 7f27bfd5ff52a522c1ae591bd5bdcdfd37e380f53a03499a1bb20611e85816d4a8487f8f706cabf6  HOLCF