SQLite format 3@ .;  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  9 dd4 ]/ Locally-Nameless-Sigma:threads=4elapsed=22.171cpu=76.368gc=2.164factor=3.447zXZִF! !j]ŗXf[&!вIkʬ:zSzrƘB:~!o}Jwhvcm$~.cі 'f.M>ѪοEy<[D|`R' 䳤&!x$9'FV0{sbٜyn5/yMwˉW$^ef$DuC<;b-Y)1_8h/8VEE=Y`-,`A~b(!g+BC)S1< Lѳn'+{o|fxӸ b׷ W 9 Locally-Nameless-Sigma  kv ƚ=*y`H)dNؙ71PyhQͰ03d7Ct i=&qI;'Tkʁ>+ۋ $OKF" fJ  =ҌZw߆ g`wtBJ,K)ې!~c+Q2 ;&P)Qh≘ns :7*HEOme 0x6Nyxl>._>y4_npg|/,"&vQVmabZBG[FtވHl0˃S;2N ; N}FwVL" ~>a S.j,MřmױJFfN\JǾ [qaoY=L(yɌ'[aUy]נ)HΓ =LuSRI[@sh`Cwk Q.tD+b63Dn,TgTQ{B l^:xWt[I|aJIᶪ9 |iB gYZ7zXZִF! ]ŗXiɟ11bu)\pJoHmX@GJo{)`,d)I7_ /V>Ik'Kȫv[ .(#^E_ m2{ rGE̹6Mv–1 uCN){a:bGwjvcQxO =ߚi_ ;R˳iU!`uQG/T:lwKaUgYZ7zXZִF! ]ŗXi%L SU0:W& }q >dA t0xYG\ri4,}A΅0̈́ƱB/XzĘLghw㝍ٯoVvJ G7Ե5`-䂅?z*_i#dˈ:avj3& bZ)Q|i=E1gJDBݓA$D֢<"E6"顜܁&2]/xWD3Rc-x{y,uo,AK1r,ĪĀiewWG^&MtnC@ :Fdl*̑d]|OFhuxH0) n_w-><3ӄb|-_BT r%R'wאj J` qy@Y&Q +Obm3gzƴ&lѽ)ѳ́}TN_yi݊CR=?*5=&Yc{k7p8f/ֺGr,iH3S޹?p`rB` 5F c[Լu יۉ2`7k9 ,p5 c'0bjZ;kb%M#,|Fmhv.nUA%%#IqYҿ`q=:lS3BBGj)]+Oe0,!rHipEtje([2{ &8K7ۺSG3"zۍ(G݌y sv( 9X g 6y35JDi\x7rYO/5VY'%l[D1wy9HK_Ty{lκ?E9.oqpC?R&G^H"vK'R_u'z?@(Vg1f-S9x^u$c~3t_Hw3Ɣ#">?ߴ9! 㨎rWT6YJЀx D"yVTq–ݼ?aA#l(ϱH;b ˽ ǡ \d@ԷZ~ P$ c?[zmݭL_yQY+6a3 }/KX^i4Ȋ69v6 P;|Q]4ekHy Bsx<PôZyu3g?33xC|$jk wfMBxBҠdQRWdX~=@JPVQ}Px:*; +3$Klpo=N$R|s>!O6B$ G#r~(q CfY5IƝ%NQ"'AU=`I6~S\۾ʫ81|ZzIr`BqA*)GErv%)%AfNC!FG^q6zf{ W㟦N跥 K7b9KdU;K=H9!gM)">BlکO+awKX{z2@4U Z!3cRq̊Ԉ3i\p(bz}Bu3R7@Լ8vv0a݀¨_;w&̅9 i %#ӢKqDM?ˉ5s76z@Y|A@4j'_k _[R1gv(y,اcfώג|K!kH ?ua[ٗG0:?wm\wםbf8H~,ǁJCY3ukZ-4^h mV] C^zeuPrK^iĭqs#a5Ów<y9|i Ɖx1Z_۸Jd)-Ӹ @mV޺Ã2)`0ݙ?MV;`7N록,*݋Pq0 /Lq"{V$32裚}i.`WU;v륈{3ƽClĖE昂#5K}}NWb tt;h; JT_[z*%NlRqI^>AZѸW?|"l2Dmd TjN}v#4euL9Bmpr{gyF;3ɋ/6Pծz?9*چ7lBSTE0L{OhY{fQU7