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 uu'
ި8kL"kMy*qĠTx5oеYmz*2awЎ<$Yj[nry u-衘u;W ҩ/A7T5rmwyD߰>QN$[eIg6:O eM#a(w-Cg[lQ,V/ ?x!-+y81TK{oJ>r\kQy蛥PRԙY g+L.%8,(%1X>N\('L@bzk2l,3dTM-긏p"K%h-sZsQdeg@$}9eЯIr(Vˬ̌u3(/]WZC^"yl,p_?/IpO n (>NDPƏk2EM.%@Z8Q_nllngYZ7zXZִF! 9j]ŗXiɟ>ӇuMwd\ͦl!Z{gLeS0y ;]x#"D iCA}\Z3`4,2C4X SI'ҖM@@mQ y}Ԟd|(4Tmej d+3domMTt錤8jcP/ l}3Q罅40PhXg7k*0١)z FT PU>&kXv8vZb? 2)?sP4 ׋D\wڏ^Hucǁ*T#Kˠ $5m`q{VJu (#+{@Q[ǎCz  rD3gYZ7zXZִF! 7]ŗXi%EbciP4sMh螮)|3n2)UϳƄK7őpBkP- Dc}0ONᱷchwGaC(R,8U'%\P`~8:@"Arw*5&[,1ٴj!鮏Wj>Ihg}c_Ny5s0P:*]Km$E4D,|*CݲĿNZs Qa&t|U=SxYXa+V4=m0/!F 8&Aᶰ 3]=T1#asBĎxCY6[{hٓ2mN)-*8)`>"uP7)[K ˯~t؇:~#˗ߦv^1́֍M΋;tH0'`CS~GkEӰvOqc{ `>'5Bdždu IAlsW=[txGrS-C65?xc&Omc8l [k$;K:F%ـZTTx~ng`>-[e3UOU=N!4?h0A/?@!晟 f!Bx ; Z-A:Ɨcc6_KKb4:k#cjY)sMtC\lnW U[1E+vNfD;Zϱ׮̟qūO !J"u7 ȁыIJ] 7@`KSi( ǞQmp<Y}oh7 '7~|벒w8Qf;+QQW!v`cc Oim2:ytJfswRskI+-67\GV@[q/v (9u f{uw&<e{ԥoTQ?_b13xs0> oAjv|gYZac2630d804a6884d0bac7184fb21d8f107007120eb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 584f21f404c2863325b05768822512e8f27326d9 25d83d917eec627fb307237b3fd839a489e83eac8881f82416eec6ee3de109876a2e06bd16aa89ae ' HOLCF-Library