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 X' TdL ]]HOLCF-Library:threads=2elapsed=15.134cpu=27.580gc=1.164factor=1.827zXZִF! M$]ŗXf1-q恈͐7ӺV -O\9 a>)nkszf q`%h/ɰ=5&=uao_g8tře P!!M}:?Qe[ݰ')ǡ&Yвf}-Wp7wm 6ޝKGj .!b]cxHC-\N낢 2B D;lFc\k9^@ЅMi$>%; |liW:C͉F}6dLmW`Y3 -&)|>72Y27Nۥc=> Wd~_{[ c`k-)GUu 9n?߉u,dq0*sqJоB42Nԭ27$'Z,K<'5qE6<6e!7 l=J*F:Ho[Sķ{&djuDʻzm;Ft֓s+`z-;dnI55F ]ybMO:gYZ7zXZִF! 8l]ŗXiɟ>ӇuMwd\ͦl!Z{gLeS0ݜG,Tdu+K A޲*tLClxH?[}&ooJ=n} {++3 FaWSΜ*JSGP+"s`=gijfU;ȿ#,w>s'֋>gAۃ׆t ˵*PԸ#+1XFڲa@? v\}"tI շhy9A=rio1 %yǭL x/BÓ-:I{(AJ73)$&!cr0 z ~gYZ7zXZִF! HR]ŗXi%;L:c#~]k^'zJ)-L_̑ &i'83׍cpأplȋэɉpFqlIu %,SÅ9agK*5WhKs^916d -N!چ?6`ӽl;H ZܙDʄɊ{c̅)N W=)GM˝m 'oQt*ih.Q!5ga§ycLOE2bX!o$ba/UIL_H-pxyK)QKfpcwQ=P'שּׁ}4<T Y *QNf*k, 0K~6w n&M20(ǿJm"h ]7F$?޻ܵ.K39~w]DQ()͏Z+\->>0}\& |5= [\Q_i^w~/,4U^T7ɾOkXNR}Ia9ނ`6C;#bBi λ4D,>>sHsj<Μ[/^3 ;?6]Jy칱|ZRs!(HotyA?zĢjX%ORͳWr ᒰVwڄ++zrqf/`uiz&чmt@XEȭNiY,DCp׊1j"efFQL "::ȅc 5-8m&Nvq©)fK; N^h 1H5Zj,=+~f0?kv b?<(/ RL{=sqKFD fSFO_HAT 4%>mNyZ>k+af+==`+]m Wd^AB&Ф|*I[py|S~"f s2zHc\IGڠ[ ӐgYZ5673d8dd5602125a97dfe8e8056d70a110910ac8d2fed5b8463a719e2f3fe546c701ac5c0e920ab5 cc137faa7d41fea458e730d08d19187f36b2fac8 082832ffe1a61638d3b69749fcdac631ff06a3d87bd04b1cdc6d65950146c45a540818ae668c7a06 ' HOLCF-Library