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 FF7 ,,L ]/]HOLCF:threads=6elapsed=13.011cpu=40.340gc=2.336factor=3.107zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VA;-Э ߺq~IqLƐɗ!dQ<΋NiAF~Z8e/x%;'{humBKunh$\Ĥe}%2V 1DJGy\Nf"7T)EnF م#0DN+] өdF_RU&Ax%L.di' !I,[ lIU^Wbے'YFl Ҁ1;XYяjy1#RaQ/Z?㦪¡$uRd7XBC[~G'C:R Қ.<8K8uiG ,#TIӹx|r3XOxUԈG9`[V9ój":Ҩ416AuwRo.}!-{Kwo ""~k'U1Z U}5/W1R`7]V#Ŵ_40hrܟ{\~hEֵ'4z8/cQ}uL&h3z'@t#wP;m3~];u uj/C-Ey1C'޼SL| sZ~ Bې5TmLU):0Ӈɇ9S2]t-% ;u:'/K%~orx^'eԉG umV)lj1n+'pݳ,RsVF=kU x`RT6Rͳܚ2ی4$NW { K jrL}yHRʤz2#V3V { ",q u`[ZGLr.KkT_lZt2eCpkBAl7GFk*^'ߠ' : /M%&:;*lJ "~? `t1瀄P u!Sh='"$,\|b̑Kb0W-2 ^\~1VEm (U&4dU(\CvD0equO&7#m,hr#gYZ7zXZִF! >]ŗXi%@^Aڣ>=wzBoLNc:%a5㉆P%¢O<SU}Vc)T"74N t7.#;bɘQ#gV+]IjOk[򘙻dASlN3tfXƐOI@ڿSfPZ#*,޵&A[c\?bq2 F78C\}M6bqg~~Bd3͇˸"NR"NnPM99{bǨuʱkXk7 9s ʴ1[cΥnC\ nI`.@<ԌH#D?DVK gz4Pg8yh(B|42h^O(i>v󞲫of}ʆվ!琛YQ֠ib>sm+pjCWgAx\q)> d:q2F-brh4~dkPTެvJ~x/;C[p+ض y?Ƥwg#DEdЬzY~v䏠٭TDAJ-2hgoi}P:JlhA'$$i~JQG1Ĉ{#LN7X 3iU@voBl hYlC6-3L/;6$:;lܥ gw*[0׺[#ہL7Gǂ`GqDs=>*pz$($Z:V'/\da͢^b2bhS}Չ,432J[W}Z"o/A`~TӅB8g=NĹC6_:& }91gYZ3993485eb04b9a70dc6d179fef13d5d3e4ba0d7ff695e2210c65e40e35d958c5ecfc154ad0d6ad65 874e40ba742cf3e6e99fb67087ea49c26880e3eb2dfe51c8e06a77e0606046df32d1658db87cf054  HOLCF