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 3 T4 ]/]HOLCF:threads=6elapsed=11.489cpu=36.816gc=1.936factor=3.207zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0E(5D?WR#^Ո ;V [ʪ>npdbht r5F-!f yn돩/2./)_Jk=rP GZuhh\X !p0B)ŃK=JCz^Y$5B8DjLw0T^Ovq/"Jta M&lb }s_/RϷ=}R4Rh?EMY2l cqdNeVx>{+ΕDI ^e0 /0WOU=(/V!}iAa2Ī^D-K"~!Baz7H:Fɱ(5l Fd/Jc@ k1'AMK>$ږ(&z@n]فϳW2W $2%9u/wq#;^CzH#ft]yu*Dݛ^M:#lϔҡNKP S>vX}Ѽtu>#3 ~rr`)>A_O#BJI*aJ_>lv".y.y)lt Th*H.% ,:˓4"AgYZ7zXZִF! T]ŗXiɟ>Ӈɇ9S2]X Po?uW+T m1̄$QA)@QR'cgHi[`FΖFLٔDR{5=#fzl7!wQ\@2S֕7^%άKǖx?O},U~yt|%0\p%DK_r) WJn6L0W|Z_CJ{ [/%|m@GeT4!_ .9dG17%?ןZN5y̕5*=.'[:~S Vs/a1N+ZUSr&2bxU@lM b`C%MI|iH(5upF&`h |UA܉La~mfqB2n,D+ɐiXc >zѓ]o[H+o٥qz9m~U(qȨ2dݴpfWgYZ7zXZִF! @[]ŗXi%B뮳#| yA A~;>YDJNz]n .N2tr+\A"l+ЕGtEgHZT0jl@WD1f!ϛi4TćwMxEc䉴u.[^OJu}JX0Bd,F-C;%H 6Zʌw |{92xR{̶QY=DV%Osµ#Ng%%sfAU{ytf!RqT6Gdn:1/|NČf KͰ-fdIg)zB(^<.kfT5uf =6P* ho(t>p(IE~BmkP錾l?Je=O5/$S⡜T(xy=kZTS(h5dsca:Gp~EXKDCXݽUNj_mF.9 #@A'ޯ*%>S-OÃlv@a/Tځ4%=t$h Z2mMF',UL>P R.S!‡m ϼ.ks4=n;72r}t ;7Qq+N,xߖ. ^ϸ7e*㡯JޑѷRBݐfQy ⺃ӯ} jwho?a%J^$¬mČ_$s^ bP2p0@sgR8>mXĂ]\b/Y$(F=x#v*ZbR;9dyz ܣryIW9U}Zy&ad*^;?Nqp@&J ܀59gYZe1b39aaa9cf7caba401bfdd4ac2654d47fb4deb1895b1b1b83f37732e07998df22f424d780740496 2191c6665e759bb2ba1cac4f2b634abed64702beca03b12b7aaf2591db1307b0ed703cc5c77bd54b  HOLCF