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 22K t$4 ]/]HOLCF:threads=2elapsed=17.776cpu=35.192gc=2.268factor=1.987zXZִF! ]ŗXf1-q恈͐7ӺV -O\R6]W\2z#F<&>?>|9]_J-zg6CBn|SYhHoP,Ͼ ~U2١*2pahz^ecpt:Y`0i۬")PWWPC7[U*LimrۨJ 崘#vL5y6%LeTP*j5*WVA).b<_ ւf]{V$׳')Q .~Ihd'g/! KopcCS!aKTs|). ]=/Vl}BG%Pz2ʖ1ŖNp{AnHWyN'xwSžXaLs5qCg Ama(AXy{( 2<肽jhJ[81"g YQE ޚ (_orPӝi;v0CTؚ%DDͅqX2dzGHGƘdr9~SA^G\KuJ(6Q!-k~И~)_'qwSy6O- c>#"x;$;/$osTZ#RA;U| (ۙ Dm_;0~!wgYZ7zXZִF! I]ŗXiɟ1˦r~KunύNN{J SS9xQ>lۻ .&?\M(>M _򢺔Zm#H&42@fky5.`?`y;u.bPav*uif}Fy.$ !H* sly @mA/H/uyoX!*L- ɾ  )Ǎ1 CfWNe¥&YV5n !<ϮUoAatH(Am\6G,,?fTU| 2c0xVgNocw:L0]M1O7( VI*CPб+L]`4Q )$v&a2q}S̤zK z}gYZ7zXZִF! l]ŗXi%>g 3 Y1E]XNEgBį Nb"0 ZHFA&~7D߶J<ͻYN|"Kia>$ IKQ7˶ͭ֗k"[S xSx^=^GA\=34M9@).ڹVTG%@^YՅhEOΣJc!L1l1k? M(5 {Xp84ڤS2tAe\Q߀hH 9ʅ]5"k+*mS&e6#0,Y p b5xF=g@L[s9%5%:>s%Kpm$38mG\0'^|w>3|nؓ D驭E:]|{V(TgoM|3}4^w-x 2>8?/eT %j(%@|wURzw/BxsWE~2%b O Kb3~I4!ƂKFX0P 9sk>a{q(FST݃kڪ5Ǡ2#j,4 @;C Gv[^='x| (%#[׏03t.h;5._[A{h7mX~U1Y=Q gj=>#2r;MR:iHY P^,b4oAjQ-)Iv[*eOS3u C9al &֠)YX7VeyǗZwPA388oզ#bՒavqH+̜3 wvXnN/93еԊ {:z))c9roZIxh`v;@ K+ 9Hz1('ClG۴a8Lz17کmM">'wxs}E.~4G]# ›b<46>Gw&_I9O,}L6OLhI)Yp s#JTa)wZx!ET:ƬvE6G[ldrI v !0ϮzX@p"ճ݌*[<7GznYcQ J?7 hu2f6u\GyU!8(|=(Tka㗞uM+)5|p"<g`7^WF:oDН4^3V͓*OyX߽MSg@yS;d0Q4ZzH_KJQ\|CBH.\FSK.sXmO ljgYZdee565400eb1fc53108949e897346d7bec2fe4990779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f7220c8ce702dc58dd05974d008871083c8a1a841  HOLCF