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 l' tlL ]]HOLCF-Library:threads=2elapsed=15.908cpu=29.068gc=1.312factor=1.837zXZִF! R3]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF77eo$"E,d%A!q o@3k ӝ C TiP fJ} d8p nDJ:hѐG REJVL`Μǒ(vc=oqYR_F!lk+f3ځE79'sRFxJG!0AL.k):Ep+rH]B"Mʹ\HD RU$^+6 Qʄw*RiM']9>t~A iRFQMcs/ouV7`y{i$i(P4V{L$@W$ P/餦}>“p^!48W*ʙsbCތMϸgwˍ*0QUHn[Gk03 "8$88+\F98/v'bX6"|`.t;gYZ7zXZִF! 8n]ŗXiɟ>ӇuMwd\ͦl!Z{gLeS0Zz` d//wVKQP&B`SF+r\ʘ2@>MSũRcjXjo=r 3UQ/blhri.#Yz+ksKZ/'2'BJ0>Iْoz8HFoU*2#WߏsTM_T{37SZ0U.pcJׯWW/Ϲ1IzDEO lF;r#_KM 3"]׀m4@ ?5 u3VgYZ7zXZִF! J]ŗXi%;*+olLnrHJT@d%r݃2%Ư>oF.JHoW_C.d^F N~BJ.Eƚ o#٦KaQ2r(̳"M7@1%yN9L@' l8P-z60jrO9Ϸ:bҰ鲨^it,2JZ| ~>ni+b*G},%Tņ!{mH')рte/>Ѻ3hm_|\۳ba?=GN=gDκ;{mzl"X@j$JHe:0AbdT@@[)|$/Cf1c2k)M'ayq)ӀƸ*, Ma-(.%~V2S9F{{5`Q@v[Oi4l!58]My|ww3;$ ^UE[[T"zlpo =>3LTubQLrd`n:x jLD#L N]rVv8TTw3|=ݟy_N%rC҃Z"%%lz3|'a g/l!m#ɭާ)~H!~ ޔԶ`#|;rӱ>{-&?tSC p=lp\茷sHK:`R+C}y8I|C::nPk]䍝7T$S#f27 ˮɤ7 %ۋQd2(gey`-?v߂h:dK6T3Xݺu;Wȱ@)%,샾5Y9C#K8j^wkb$BĶR6y}\@J)Hm qNwKX h5c+%`c6Ç|.>25?*]18H.cfPwfS(e͈{׀ BصǝsqM.hϹm֐YQ|GH>Cěu%8/jxˆO/Z;h^/56@$H{lї;ՇR) D gYZ11917cb56680d06c2faff3a2de6e9592c54b8511d14ac4c995dae0e54cbb829ef0bf6514a439aa95 a39a93e97d06226422815bc6b1afb8f60b4561ad f849d8e1608b1f535318b1a279470b8c185cd5861fad37c43ef9544167e4d200d14acdbec11f0e5d ' HOLCF-Library