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 4T ]/]HOLCF:threads=6elapsed=11.681cpu=36.600gc=1.848factor=3.137zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0֛A-S,eORcʾ8QV߈Q^-`@0I7ݲRʪP.W3Xg $Rw\!nyGBU[ƯE1 IY^.BV|܉'I+^cq [ Z& /$P*߱Ls>ex'Th2Swp]X=/$boBgu5v3r~,Cf9*]Ѧ䋻?V^(E\\+a ʇla=ӧ=%4S_:UNnߤ@7+j^ Z9:Ҟ0u'~9jdVJ,6Wɳ^ iִë9P2 EIs)تw}EYsH?4]JD*?Qisw/_l p#U pd ؙCO_BlीOrja_Zc]H;EqE3ڰyyse )#;bm&ao@=WwD3֠釼fjl,e+00z|\&AUgYZ7zXZִF! R]ŗXiɟ>Ӈɇ9S2]XM`3Q,-L'ڡjܳ"O,AXy($јK/pK^b*hd!bdicv&1if>9C=i.U`{4[m)s*-h?~#Hr+f-Kgr P +[TpcgH lƪE08#%a3!(4q Wv/|nN(ӮL~ǟ*%XDi]'+KzpWBy 69plN۠)fO@^'^ BC$CFY.?R;(7 ݂N;5xG>Q֮_҃߇q'繨; nfCQ;QF$!Bdͩj +YdCzyQѡh1utI(4*a^5Ĩ9Yƙ,@g kgMsqɾLa;tIZ_d8Oݷ\%C5﭅Pd1}*&ҡOJnjJ0O4+csngYZ7zXZִF! C&]ŗXi%B̷"2BtgCфGۄCO)դ֗|l氡D2q=/Y;_>>TDUʀ3@95C\Եtۤ[ڟ,YePMYRU'%Jv&dqL9%Nuo+l10(aM2>crk3 `wjáf+Xq  2"(= 9ȒOe(k@;|FG{EJQ%jB[&Kf6m)vF[zNV\KgDi_S&:~Fx" Sfm\z$4Fvit"B6;+_=T6s][KxLjg׆v?U|wf O+>/SN [QrKڙOQ?vY"Lͣ6i[ h׋C m]®a39˴,*Dy_@.sqvjm1y]&a/ys #G B7ӻ&; N>󷚿/+J< /͇LWs~xQ_U-|,^;4DQ;.A_k}4hPgHpl+q!7 Sx3(w^]:u l _FCP3W&@XtHR, d s^'6چծp=CM TOW ͋xE>=aXHe t C޹[LXZ};}nbKlGZxIgG #?3ɼ(c۹7Lp֘ b=F ا<-D ei=j^C8/"jv,utHI իsc*aq1m}'ݖz343EZwٵ$kӪqu3 A|~ ݮ*buW[#C>wܭ܀4KhJ X,]Ov}Wj4gC̹Ɉ}[%eͻ.ϚV^𹼖@GmUHqr!Cm̈@bb-9IyB&ogSm;v}y};NRd́03J}TjD ZgYZd92e4abc8b4356a6442a95eda2665efad4fbedf2902f55b990891c03dddf854b84aaabb24ee3cee3 e6e8b4787869145ada1a85e687fd48496d7b5e764a867ce186d19a8619becd6f9a3083c6de289c75  HOLCF