SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 7 ,d ]/]HOLCF:threads=6elapsed=11.696cpu=36.492gc=1.880factor=3.127zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0֝X@KL4eO%0;oնzX$ vy:pptuѶd|@c)-֥)T)bY +ҽ:i&QZۑ"8"e˛3k;h^> ^JjTtC? %3J v29q Lmn8/~g~mJ W ]C4*4 }|;pZ$CG4!Ew/sԜ8S{'%;)(#.-@[`˕Q^g͉:Fl[O}DӇɇ9S2]X$3Q'.JaWUH56z]Y.%P` ?jlu$dϩ{0Sa21䩍ټK 9)Ɔ 萓ptuD R'^ uZL} X{>ʨhëeɪwaOUtufg6.jk [,3pYJW{&KDݽ3q1˫ʫ{~KҟS&":î)$[D<b6s#X `vgIفN“qqX (ڐ3-!:7|?ihVs]o7] 4xT3"%*qq~`^҃G˛dUw;VW `DXab:br44ϵ*) 9s63&h5ċ+B>m%)PW̲`*DZi+j7wG %gɻ(Ǜ?Vx`#CsgYZ7zXZִF! C]ŗXi%EX}<=2|+]5$_n刹>|q>BL0(4MnV<.JeRRk6Oe:*R̆pkRz˘`rk9V}?**R8}d0]#G.ͫ~ tLYm`( jlЧ[ۛC A8;Ev0.u`T$Ÿ@@⃕IKdT J!a=[ȏmp F+2_-hc/3׳#H6+49E <3.t@˘ ~< 2DiHh+&7. (G`LJ3c1#DM)a{GA@׮ڇ?V[v)0QgT򅻽$m{d9AS`ZR;o ȩK#A;"dZ{uQɬ [_3LmP@p&RUtqUɳ&H֪>*1Q_܁oԹd>s4tfc"bU/u8Un3#Gib!l7˪V Aeȝ/ùqr_&R@ד`$ʢcp-lc[P < Fݏ6$=EQh Ml !L拮;oaRL~m,$1"##T Mz0 kJ7/pHF]_O?3Cnh{1[*:Ǿ ) -iM_(X 1=2 .gYZdc4f5b7452b57e06b35d2017d5a959b5720d8ff72659ecda851d7452b7595126eb2a4699eabeda38 890f4cd952649b9567a6dd5c0bb3d155e02ba420bb15364ecd597ae8d4180958fb127a3f5fc1892b  HOLCF