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 s t4t ]/]HOLCF:threads=6elapsed=12.600cpu=38.960gc=2.340factor=3.097zXZִF! y]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0Xv:,9qraw.shQ‡dw bdMd9Z Dg}K^n2}x=@PmH'_sɒƅ㈽;:Py;1١`Kk{z!ߐuZ@rc:Ԃ{?" ll\nBAվB^)]r+XLt 'N.{`Q2E@ sRw6.nfQ6A5kV^WPbK|Gޑ$;n[0ᄏLo]L,'(Uf[o !W?'+w CSoiWz5CI'sD ш:yJ1hJEE6B'êTbaEk5aLMD|G*xj;Ү CN07nK:,Fu)'\!Cd,i]z}Jݘ}E5DY! xze*?@㦡KV}rdIYp>#dupqfat$lyVhY{Cݫ Ɛc0^`T޵K3suQG;_[,/ó G:gYZ7zXZִF! T]ŗXiɟ>Ӈɇ9S2]k5UOiζjv K;q^x*H4ufGAϊR)!p5H|[d8 L)<9Sҙ(K`찭ik$z 熶 /x􆶁 #/)<-_ܾ6x9:13k5N7TS jYZ9J<pwO(]>AHYu  zdngy/XBzg t"a, I1;ueCKGaӞA ?]ŗXi%>d:hvPѼƳ_EypXE"bX7L\dhŵ)(HYsJOZ3G$ʆ8=viE|^#`(V/mɱBTOmh؃9Omy{hKhZSa]ƃ Ցk.4u߁q]]kW1YfphN[M~-4I%!.OMG-̂퉵g,ġ~5*H4(4+ ټ#5( -:w;f佁S+tK-U"@FckE<&oOӞ{4a2 0-䚶MrA ؗDxraoW~Hq']3CT%@AnhJ;[^ww蘶9" ԲlZB<͠MK-nn91J݋r,.;wsvdی A\>k̪ /nk+j rbKy"nHLHڋ;V؀2>y umA#=c𦚃V_||riɭ}6ܘ}E'H ~ _)(|Ɣr\k7:%3쒘9 8(9/T@#IqDBJQX RVch:s+5biq&*u@\-8<$c~Sqfqba|x=^=ob.CC3/uͮ)C4{TJ/r)qB\%_Mp+6}wQ-kcTVK`M(aFz2|IE[yIKh*P3F{x02I²(^vcRVbtnġjғxfk* g а9Ø.ϥ(N=9 F\8S&+~3۴+?ϠQesLNv֙Η큶 +2c\ '!5aUUTsM[7_G_A6N| pc:]! 3PUg-k%ɫTy8& }9gYZ9f86b38f62880960ce3180565ffefd1ae735aa89a681f6653dbc3911110a79ad31633f9a1fcd6a75 adcca596685e64fd6307a9b86c351895878559b6ce7f3ab6ca453359f3b72edcec5dbad49bbbe913  HOLCF