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 ? D<4 ]/]HOLCF:threads=6elapsed=12.336cpu=39.000gc=2.388factor=3.167zXZִF! ?]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0֖;P=pz9<[ir-lanewu`1>8Э )_pٽi,+rF]8HCWw.S<{o̦ ({\:/bd'wt*t{Z mKX8^Gۑ|j.K$ULIh(VT=瘚b/9L)hzAoŧr!JJp'Waugpcu=يl!Ȕ?=ʭmȷ`&$Zj~ޕܨs] Hea{YTWc(n6APrtc2k˽Q( n @qSmaiy9+ZÄ7K95L @3so&0Ǻ'[Z+ ~, .mM\+`z`*B.Q Fr)8?NYcK^44#$  jHYjT8AKAf"_%$}gYZ7zXZִF! V]ŗXiɟ>Ӈɇ9S2]k/Su2%ʿwAaGbGpIToE*wVI@Ks ΙE}-BMa>r1/د8T3@a G%RXXj}J22 T*xq=H>QÖn}gP8 F ["$zY?(+I]5a =f;P{ISfzF|40|Nu<1~ɗE+9xE28K!hl A5Buc⢶TRQiGgUAF^ cqѼxޅR#_3Tl(A?gEGTkP(]9CU^;)?+^%y5;dfǭIXX ׄˊ+k"M~(jib$wDtP|n,ɉO|^!ukB,`{taE3hmCա[ fO!2ceMVpQ{-ucPgtP8$sQwJSgYZ7zXZִF! :&T]ŗXi%>pk>BZwyԏ!*&2_&@bL:6$X k Pa))۹YđTPT u7:r Alc<DEiT/O-P-BI5^kH1/NN?Ma R&| E/0Q>V""-ڍ"-̧}g4e#{O`RfދY)>*ErHw L˷'Dbw{&Xwh|ׂ̹-?S|S!k*x܂dW&CzўWPCppJ|[$HF$RXF*r+B9}ٚЂeh)S4hMv"fٛ'Um/?-i( Ѥ}#.+fߘ:`(MVu0{cxuzī  6>̻n8uH㄄0- c %6=3(b␮YO9Q_2NЄ '25!v;?Ja[-}u 1Ƞ އOVOyhceT*9/5ݯ24Nn_e3h$Sh3hER;9v69'F\s,݇&+Fڔ&^r1h҃/~̭2 _dC_0Z0Lc](_8Ƭr^_O .O4>/ OĊ:3MpSNOF[h Z.Vg1fp@!C$@wLv}rUoYF\c1\w"AqX׫ n +H|ޫ[Yw&7K|Niy G(XAc=G_|ȫ<@^V ٝSe e$بȗ@+ VSԁMtZr ̢/A B,؈)3| eZ֠>RiuZXut.oK4Lp^j64c}͗O;r'?۴Gt5gegYZ2dd6213c5436f86594593cd649f6e8bfa85160425a4801f0c143f74de5fafb369b13a773b3d622f5 aaa54dbeea5ce8901e3a981b42b1b8219bf4ff22396c30b91b6abcfa1e9bc188992e28f205dbbe41  HOLCF