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 OO. lt ]]]ZF:threads=6elapsed=12.639cpu=46.728gc=3.220factor=3.707zXZִF! @]ŗXf1-) enȈA XR„S o1RF6 [_oR6[3!BI?MιbͿ+K5Au%. m's`ӌYLDu yW8Nuxq ';WbןV~6?Vw(]Lf{{vsآ-!QYT tZynྴ':l[(LfWeWuuxT u[!$U⏁`3>0\7Qyle{OW_{06QVu~oʀƈ&6 ,869gW@`PTyಈU>E;P:jXt8Ϲ&qcCui&֤4t:(%lhT?LQTpXͯ^c t]߃>kʓK7W7߻jv9T?6A %dXgYZ7zXZִF! .]ŗXiɟ 1FE`空j/ >aZs5H(e)l21u <|vuMBƥO${t حPR߬raXT@87Ԉ }I)~oy̩x2ķ9͏,(T8 qCG K^j6ӺRNנtjvXhڢڷ^Gnj'1-SUzG"r&* yNM~K x2iW 4;C) *'7l5Z%1 `rJH#>.KDGȗ`FP@d:ۛ$x N99TFvQ䎯B::roy̍~7k98^SR~8 ?m/VUHb(zzx:PdX-ryԩ+1[$wߢd"cSS aLd*ڤAϬ\O?Nwb~jkՌ]ރ[StdSq1)gYZ7zXZִF! F r]ŗXi%GB;ڻ0h(nCO_8vWdtK .uU'#8n}P4kQSΊO1O ?WJ\ꋥq[㭔KyF Ŷ<t63||92fǥK٤uwWV._>3Ru c@`vYxh֘~f>X p i͢а쓑~Kъډܟ o x='4^0AzءDn籖ekA3^9RF1|:j6F|fVjϭPmhy[t/!r=cl e13Ko]oHd Jwb ܿ5am30;\feS~ڤ<V,CQ#Y82{ƒ"@0CGo̩ƒ`WNMTVlu‡8Sz2k =Iue{v3o^ mtXƞ%X}Z^/m?EA_Fu/Zڨ%Kpj6u#g@ΩJqƇX>}wl mMNR ]ݕ3`@E71 'cxo0 vxOdʶSO7F*b}z ݥ[$] gYAeN;Z?DXrcm)n.;ǽ_ ǦPb(2Sure&WWբydӆ^^sQT\#xсbg =\ {Eُ0XeRYg; V҃scq cu@[ddXk!FHDQ =2w~z>X޹R%=& Wwn 薥k| ܶ| a; $ɻNU5ȦWPcYX#-KN9pbZPK{;`{p">'?q!ҤI3*l8**صR.<%?{=I!QMFVrjt|O2lfE!4tYlj0!R)^co8::h^.\B,%ТK-LVB&>`쫢ez%f;xUY{qF,EH@%;R\:  ͌E^6[b?M&6 /O@*j%1!l7޶A}W,UhjYoԢ 2*+Y՚ʺ IM;`m݊@C~8Ąs$-[2(~iE5ef%? Z>a1HI"09]T=^]6xjUduqe=&A~%8gJVx:?.?$SR޵_/^QJ -H3