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 c DLl ]/]HOLCF:threads=6elapsed=12.160cpu=38.568gc=2.216factor=3.177zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VAUI0Dfu cV{"`yv&欷hu24Kc9E+a '8¤@&XK%( !PGSiOՃpȚڶFKx #  HH5p5s]!#wBҝ3U&O3/'C%[ ;"ODh71BlQի:T]yci.xJ^OkǗC L|3 Ovk&HlA WU(-\p'Р?(?1~CQBgoBI9{CU\<_6l:FcnIH`*JB1( B"Fx\[5ުtD9j!Q/sKz) , -LEETno22FЦ 7ZpEsv}Sos -B 9?oWxt*T#] (6uklr[ {<"Wrٓ Qls 8KrChx\kso@Q8m0"}OgÖ#77V*p:kp kUbAֆp#Cr=gYZ7zXZִF! ^]ŗXiɟ>Ӈɇ9S2]k1{ai_ovwZvEC6bޝ*o uq { 6RU5N>2QmqNy cip;)j\1UL<< 39~InE.Re hl*lja,4$i!e4ŨiKȫX61] cmy)%&ubzfo+*zTrſ9D/7[[Uȡ?.}o/^Mj9Iۊgı嬭s \?JI@S`L&Lսq([ iU eҠK' 8oPH\- =ϔ"nW 00$`Ag `w}om큟ڏ_7kio\/fm#oPv%,QLէG |E3zЛ*~er|Wa$*.G)~E/a 0(ǀt!9[a%砂34`wTLTaS%OgnK@jVE hwX+ICDMy<1]t%$)3gYZ7zXZִF! l'"TJv~yl6?8IVDFh9TYvWy(A-l60d$ع עBpԔI.Ë1Ax/+}S"9 ORW υ`O B~ fm!)ӿ+a^Q"! O24ʈ%luPNJOKxca(@~pD#(G*0zS-Ÿ'=ϪI3oќG$T B&y"ˣZ9j6زHkaa1ޡ;%[p*AɧF-jjLwZ'Зf/"x˝>jp(Np[^LVj,h>- ޥJ/ 4U#'H tJFQH4K-Yb/ᯍ(xHtoIX=8fS'i8`$E~ś!EiŒb)”6hFם_?o(N#Sfa ѯy(A F9%]SGK':*: U:}B[Ҷ6um­40ӓj?Fػ(=~Wǔ1+0"`l9&Rs}<#^r_YKd٦4b@ #JUd>ӖE 7Uvg =l9|Ū"Ɍ"68'Bl{C2 ; RM釁N0B"d9\A@pPLo/1^h 97$ x˅ѱgYZ8799e4eff2580aea29a826fdafa25ce6962ac54a8cd2a2b0485da6972fef25fa342b036cdb7debc8 3de0747a3e437ae3effbdb060d8e4514f50343a5b08f36ba52797f25ed5382eeb9e679e2915b7261  HOLCF