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  i'l\, ] HOLCF-Prelude:threads=4elapsed=35.705cpu=105.644gc=3.324factor=2.967zXZִF! :n]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&X^ !fDAh񣻻g,wxVNe=vʰ@eX>h&g ,Ql*ѩ̀^E|}abˆꅽy6Y=R?>oqWrd 6U =FMW,N\48Z-lj0V (s*9H ʷh:ؔFl1#D#]2`Z~֬vyuzjpLQBq9_-OҫN@ m~!b6=znFBoS0xO"d(b ,3pOpȧ\c#ʡO솼 ҁi qƋBauHJ"ʿh;.PXai&biI~Nr?y6]!)32mpO6{L4٭4$1, QNz\\|[Jc׎Wc~};d 8ƕk0GyZC>뱘LlJ'y8%rː, 04ב9i&ӂ|Ȧx|π4X=hǽy#-]@m0s "Z(Wչ"m圫~Xkxʠ8_ ȢV~4ٌ`!.Aj +A@bRfv|2#-`0Žzayց~-V!q!1͊IC&ne @h~zHqcHU3kEn}<4#[*-7qb4w$XZ3#``x}, gC"(@pgmrJH@ΊԮ7aFG] b;)mqL~e=ir/yaQMqivǢ'/Y`+堊Q{aiLrQn.WvrH:IA0cYLC2ZPջ,7n_\[L4-l@L])}B/AcG2f)fĿQ<7L\Dj~ [Ybք8Bij\jc^C524 ~<)M`pi٩i C)Rh 4` UI-VbC/ƕ_>ݎy*7N"bksհjAx+GY)*VkrRwgY:&gs }#vXuVKOk 6msE/Hr"=p;= a$=/8D^p$Tb,*t XRr,>U4|ͬ!p}i_SSnWNCop0Q0M82fkd~ۺ8:c18cK:PJ%l ^Ý]qLOf6"MDҫ VW|&J7p{uyG& q{Hy9oI_Фj 芐Hie;_Յ%-.e/C^ƭwK>YHN*&6{"T3`6VwVSγ#GLQ<&u 5}Q![jt2kF4,hu?MG6qPm`5EA'-:5( 6bJtHZN55U6J2O&9=׻e=q=oZF~d,4qypeJ1t;=x? ittjhr9l/h`h-#Spa:J6[A.Py)viQic sr0.ȁ{ֻ%D 4<|AE2J5/o*y@`:Owi?xj~ԇa\coĂDᅣM]`3u\M}VڸwTpNb3 SO]ͼh3b) G4E$IÔ/I63G8ǿSPۙL&U8 V 𑇦W{kns }n='eM'˛<7Y@?'Kl}OhIC2wrevm 3$+<݊? N]N{ ϜguQGw?oe':HZ(Ba*MhH5DMj1 kKiՂ{O.L>ӕC7^bRj = EG *cçPiobG=͇}>ƲP:h#xB-@tğ:#Fg#BwAÓ,zVI/3@]uGH>J}|$b8 1.S\;kh8(b>H誩2FP'6Wqͤ;a@fz1@\O3@ J wsXBDJ$lcn/'zTT2ݧ5Z]WX򨘃w0`2KPk*"` .#6`;|3m gmPO P`#x5;-&fUdr\LҼɼL)E$37 }flcvg { sZ9 4dεYѰb{zV^+ꦗ ;fAR( %Yɖ2|N! 1XL>kzOf%[<>/7k D3o `_W;LpGi- 4_3"Ājxpi(;Qyl!QC2AU%uuUXQ'k!vQI؞֗[ڡ&[[R˰7\]vR)5y@ar [9T?FG\e$5eI;KGL?MU0Zm J l[@lZE 1p>kEA;1/]{uUq=JǕy462ĩ?0 SGWg 4“V˾H9Gfm7.tw-|Ui$fI`A_^ݖ -oWR#|m}%UwIf Jj&CHKQ309=ca1m]q/-^AXade-nF DmR!TsUצu`ø˶[: ,Tۙ뱻mӽXj/tw?HbycK|v Y ,֫?^