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  ( (M1 |$ ] HOL-Imperative_HOL:threads=6elapsed=35.550cpu=81.536gc=2.828factor=2.297zXZִF! /]ŗXf1-q恈1$1|-~xjC@c+幧 ֠|hmx]03ۙDFø9;L ?\t%ylȦ߼vxb=Rw#z+ &qtqQ $MT>y܌қ. 1 HOL-Imperative_HOL  lŶ֡3b:H0:[3qsO,ÿ\`7ai?lǢ=bX=B/Y4By n PY/}[V6p[4S_Ah,c`+ SQ_'?i <'ktb}`Ukş%VWdUбLF29Ku)P-rh83 mjFxeffOx9P |>e4fl]xt)b|UH񸴸VХE/騘![ J:4LY.VvO;7Wl,fS5676OhWOHgJO%Oo0BpO 7m?&dU* sM1Wq^PФ U"~'xG6} bS=d,fN:C,H( Ꜿ9g6k)}l{>7z7S;{1px}'F$Cr=Nq`\:p^{4w<_5P`v~š=:+; ( -_${eRƓUn _OӃgYZ7zXZִF! A]ŗXiɟ1nhЦx"n_8N]( eOtd7Ad}N <*%)|JTlvNGA0F<GuT޺XzF2[:K|StxvA~Cb,3ɶ^æ;t.6 9<ǃ#įok)vP{eneop*WM$( ʬX+lռúA/:Ich|TD&Sj^YW~heny/]JJ7Ѕ0cjN< 5gYZ7zXZִF! Ǐ ]ŗXi%Ed]UzBJsYϏC#?8 B2NjˍzxvmP[o|KT !qz4Пx$bqQ:cwFgRlRbuȞc@f?NmrXaQy]FN׍r&; 18[f|`S 颷QXwOdeʮnB[dHz 7jmA4}q+FiyKU.\j !LZH-6<95: )gNf^a|M5Tp[#)K+OQsZH^\: P[ ʿ"gWI3 qDue_Y"YL*BѬ @I^dIX b6;ﷴk9~<[ "wH⒮؟ <1уsbͿH^uJy}CE*Gyq鷲gh7~Vc6-hS;_6' (H<0ڬf[KBi T4 4]c+.02/5d:& QU4o !Q n{Omșd Kw{lQʹ;il-kj6.wqZQ-C4{gǶ/pvbQyo7Dy^K!Gߞf ش'-)mt7>}uA>9Yכ|p3JvŢ;i;g0g987cnlh\Үe9C^YJ."npUSfeOW0f%~r'-t7& R f]RPz^B0͆ƥ7h[4ֳiτ̷M* ]9gC'H~ LSupqy`|^2a&<@$sNBd$gABnZb5+Op\Ec)SLZq՛)wܲG e=*&"LW[^ sg")sZ$9 L ?Ʃ^e1p[s)-~)Q4D  `/9rZ@j0Oqc]m{y}OI4jXp[](ٝ"yQ~DBZ9k#@G>Lq:6O}kgA#CSi~/s}|klcnZN(!^Z7<y0h}U_}Z?5-QmvIic%53yW$$Tqoȁ׽mAZN֊gFvN͈vNu;%$|BEDîg`HOfoڟ8T($0ʾgjȋ@p=).[l7TBcR?$`q`CL[uinQ;-}'EYLa# D+ TJB AR`@ ;f6iM6/'v>W&Π4l'BW߇u\e 8*͙zI\}s[+UAAv'Tnd9X9I!pt;7I𝨳F*w9≋USwj#}LM"|f98w #(i yDƋ5jQ&BFz*շ!yoae֒ m/ fs|1S˾gYZ19e61a3d8475fd457b2563468f62d7ca23816e2f990d6f065907fe87c3f0b304ff4314e6b13119df db154f67af988a0c0df6b54930de927964ed1988 f76507b7fd360cf3d44a63f6ea68bc4cbf51512a