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 zz 4t ]/]HOLCF:threads=6elapsed=11.816cpu=37.436gc=1.972factor=3.177zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVCV&) Cg)9CS5ņaWQ(i$zeqAȴ^vg;u*%ճTR8ر>20}Ah =q7uonި uX' ddp($ `LؾVBJ&m;_U*q>Pzrwu&^I%( DO~(h!UM."6 N}nXg< !2t),7Pq'Y4q˧߾87kxq|"AxgFsOdJhc8a֌{}CBY#ȎsHȊ8|4f`Ě,w4, \7y4gw)5voG(saWZZPW#Qc+/h"$*S.[FO8ΡHpHC%Ա~^KSv;I1Q!uZŚBpmjw9oG0d&~ |ߎlt_xؗ _0ڀ[B.{Q߰2UG HB%]1Fa4nސ֫p4t Yw# R//NV"T)cȔ vV15y R`i`C3!c}gYZ7zXZִF! T]ŗXiɟ>Ӈɇ9S2]c`L8 TNw LzQd( R٢+cw: kԀB9Y~0#OS(rp.$M: l=dߋ2m]ƹ|zAxd~M#4U,VЙ" `)螪?xG[0|.4cdZ"/@F뺾:Z'+ҧ͖~EwCո)t>L껖hy8)'b ̗⪁SAxO]UJn-tk"-ӥ"^wDW0Yz#p;uڗH䡽S'|ݩQi6fx= fx4@Ut,!-[6@r2]﮲.ȇ7 kX>w&e;MYrf]ѐ-!dctgktW0uQƋO&9ҳzm7_3C`]H)Z3&Xf] l.z)s=>0~@T1}JY҃ʨ\gp-' 7fWgYZ7zXZִF! C]ŗXi%B\ 9Q)- 鷦Ӗ^1ms̚O|[3.:nIw(s|1Sv$<\GvyU\ܡ[C1"bXM;F_XwQUR3Yq{MdQ5|[& m;3Fr}%tHX6^j%._ j#2R>HE 6o D_fK`RXh6,X^g KCuG#$$@@"qhבlK|TFbɎ>ю *lSM_)Gv@%pb  2<ƼLp$!WC4NH#Z8TK.sf!: q(!r˭\Myy=lbwRLt+RAQ}/O\h } `Y&5*&U^JV 5vD^* ٮ?84߇!!qQCD4)d[S|^{T !FӳlG4O8BZu.U,4)6D >, |E@:LJ ~|'RpD+a`= -$I]gcØYLd&Z#~Z\/Lϒ%]YFGSdV_/6K2|BVF6@Nb\O. w3W Ώz3JN_uS)Kt2{Vx_*;/u3$q\ B*-R' p\iRMݖ؈N^mfqId?JJ 1ɺƣ .F,*< uBz} ~ݡ:xy`aИ2^lS�TXXán=<ߍ uB9@^ s QK@IsU MȾ7!n ;n3B堾b tSũJ O)0\5VhÒ;/z,Qlz 7Ct|l/:X"LxٓC货'> ܳ,>يBV53tDlڮ)BN_h*BQͱvg1#kw [Tcκٜk; G6RFNJm [M %-]IjR+3zAl04y,'abb]DH2ø&A  {y±gYZ7376415ed4bbba0e7f2f81540bc01486c39a9b39b91fd754b3729e34bddfb478bfaa24fc6bbe2d01 151f185782dfbe53b60647561f4609fab6758491d4c8f4c5f7b1edd5171fa8431745742910cb882d  HOLCF