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   b ,| ]/ Heard_Of:threads=4elapsed=26.213cpu=83.160gc=3.188factor=3.177zXZִF! ,]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFgվ_\×׾HF+;$l c֭RSvl `2*)PxРM-QTdڙK!Q -Zf#TYfp2v胒2X8H%Br U<Иtڇ8kV0Xܠ*4O1pʭ\F֩jb^eڂ;ŸaJpRЭLCah#qR-E0Og8 3.OZBL_ѝiCD[?+pMR|:Sĺ$F~L `WH 8r'tS)_=Q\\VMO\2t$G9@BkEK9˓őa]dTqӪӊ{d_9qU=dfKQ &S^7buG`Ȏ(nS Ȭ['\F=F\%͵J|tֳ@?݊n3:auz{i[5d%@Gioaө@AQRZ;?0k4O" !vBZM1%8MNy Dv"2|C[P]$#rO(k7}yۚr]Mm2+CF㧊noDGRY=珌>% ?}iIw[ Bú2g.wKJO`&&' UhNx1jmDA zSP,5U:?v"c |OnS?CfBCt|bvWxq,e\Db1=h?D|TaQv~,F|&n Yj7MgYZ7zXZִF! ]ŗXiɟ T50d.~En.yWM͓BOyFdU-4̞ou||Mط> מeysש| +{?Dsʹ̵nF$"?女Q%f훵Z*I_NpV ,٨1svK9;6vJ@ Z\22XQ^:"?b }{X]:7,F/Nr2 zgYZ7zXZִF! y ]ŗXi%L V@E6pOu[iv%vKGkfmV y0@x k4&3}t0U=ӈM.1ީ 53oCĊ3U2.QKў>PrE%d罟I ?3rĩYY<@17!if7'hԖ*BKkZ2a:~>{,wnrrDKzuY7&?0_e/4)=gr.Ju}@;~#ZB=WW4e,UuClg.zb'&Œj)bb4 Nlp.WifO&My*vcFm F98O%&QWGXmW/ыŢ)h SJP,*&CI ?zI7 * 28F1ʽ^F G>iA{qhj1iB/ǥ-tVreޗOKt"6B⹂:[#L.Xgdz-[qR֧OaTa,gJ;[ˆX[Gæ7%d((%u'Hw^r J3 1L/6u̝.|+@ǹ iLl WcJ xWhѓ\T Ɛf@c"u1SݴJtN}ԆΎ/]I_v?nNF{cQXQr>҂>O?8SE+Iz~R{S'pѐyLCvhg'q:E-<5Re\HR %joq ѱaLG+j@X.qVe!% }?ub Wąr1ì/<`>E 5Nv\Js8WZ#kM/8ݶ^!I/>#R|$: IMB]CL4'- m?z`D>@g/O?21ıT* L$J\iWXX3H.@DD+T4^4hF ,l*͡˺zs6m C)}Pw+zm2<U)_9Μ!kR%xOc,cдcPIOhhh wj/\Ki [? %okh`= _tj3:k16ʇ3afdDD\zOJ](2^ mvAT饜OF¶.<auLp MR8l--PXg@-˰1YJX YY:0ngս9+lY ć𝕢h6J}+J9!2zfvGRgaE!Rl"!F/*"ZH!˔sl@ruudúJ?Z"q ׻U$~6j E\I1/U:ENdehi!5Ҕ&T65);T:W]W*?)D>Хks*"og17Gh^8PCꣳ`  @Z$jK\`(3Fo$iƱ5ς NM!͕M>Vߠ #>#vf+4ACl{,e-VJA 8vvP` E|b.xs0[ѓkC{K~ߞ,lZr7@kˈי1E~lЈCF7הKH9Xn%ğ Jn\j+㻰 X@V4.nUB)NF|IqUVj4J`Ql%Xڝ {@d{N iv*\1;:ۦR.ѣi۬1oIoOo$ VBhEGo&N- [48΅K3E