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 89 \d ]/ Locally-Nameless-Sigma:threads=4elapsed=24.921cpu=85.100gc=1.944factor=3.417zXZִF! ':&]ŗXf[&!вIkʬ:zSzrƘB:~!o}Jwhvcm$~.cz)=T4NTHq\w{,g,ʛ[V_Miak?El)F?^xEIB$KxTӄO>8@u{!t`*'\S+,4Z] C>Hyn[?U];TT5מ\Ԕ"SɂeU难V;UE r|{/r"JUM 12 = "T^[ li"ɓJ 9 Locally-Nameless-Sigma  QA< UGe}VRckN(rf[}g~h, f@{t'e.?0[=զ|qE?#)HJo)͝ms|.5/Jg i9Ȳb90W_VW kcn7֨S:ӂ5g.e:[TZz.o[Vˠ8*'4rei(Ǐ_C2C>;_)>T /e8R?x$Pw"C0LVQ/;7H,_R W '.'!SfͣC-LGy-gD+& *ϒPJ;BBGQ YR Jfb-֜8'Ix Z&vգDd#}OަJzC4`rhw0q?6@>,oAW/d#>"} >_s8/X͏A}eD1߸!8)yJۮ%&~{fԚDZ,[b;5'S~@y(fS?NIrgYZ7zXZִF! ]ŗXiɟ11bu)\pJoHmXGm!dj#s" 7 9ZC4 ìc,y:t}Vܴ6&|k"Jw 7*N  D7J!(U[֗5"O$ +m醡`봎hpA=m&ϑ)fCӸQZmyN^5_)? IQnzQW=gYZ7zXZִF! Y ]ŗXi%Gc/ /ڂaU-T'm2h8zdZPOf\$ـ7;p--Ż(qA5|:bI̊̽adfsؿZQqItLi5GrG4;+AsD9]n4a5ۈ>*tÑֽ]7(G@4ܲRo YBo?? o$End[&|J9[&5fV5:8O ؍s:%K)Q*xH'0B;t*̋yCKA<μ5>vCqk!(% HT_.rǢ!(\+ʠA{M w<:5|0X\#ƸGվkyyEM/p3d&[գ|ߗ`3}0pkV&`J!M~o&Vr!–c+uDLRJG|2\K( b٤zW!ŨmӃZ?ҨWtOV::[I0) B1qW>USAhHŊsŜt8'fO{[ VMfJ Yp<5K?'ݫtD/9+ *5-d!Qd>* FQUSX/ uK'b"i@Rw&%NR~z hBeXrPhi[{r Q\ 7 ÑB:)[FE* ym$ iIq[2o '@l6 \dOqɔҡ ;Qs IĻ]xK %H6k]X^$5mStjP s"_Pv_&X^h"iSeLyd ?vUY>;ݻ^ LFq·f{8'eW龷K 䢸p%ꃒ9hUNmBQ>1\,xuf Sx*67x8# tJ$Oױ:DqS;YoO%;6'+?XC$+w57+)=ߪ㬥*)j7-7EY"/ Њ_\E`a~&Z<B?W~ʮdh㒲ϐ|SUPpeX־L3r1ϑzJǙהVKsrYѩaE,L5 n e~DтW  qoM쮶}eݬZq?ݟZZ;lɎbnYEՏlC ,3"T) T~OiNIWm;ƪF %;EE>4F/xETi ޚhɬ]fA!MXJq_Q>& 5M$A+E{yY 41'`c8+Geڹy;A?VUYǀNx~Ge*VO7T 2;;+W.TV&^*mLZI" K|[ft"7˫LS>G8*$!k7-hXOI xx6d4(OYoC]_̢X TKE!ٱ봪AD9SV_nJ |T1 8>\"̆ٴYb饾D[Wؠ@9B$].'JxSaAMk藽8ŷuy #!]?/M|`k!m}QZWJ:\du}ë5( #FމWNQjԾ{^NXNӑ,vT` g2'DR0-oYĆ,ߚ5\& G^Ğ5 TLRqjC*_~P]`oDl&Al,ΛCBQly5/=V&=-IF,^NӘ;k