SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 JJ3 << ] ZF-UNITY:threads=2elapsed=16.170cpu=29.520gc=1.028factor=1.837zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jbꎛNf~OSQ}AWr^Z[E8 At6kTC{X([H7Ets]gI"e|WV ɟ{^3;qJecIیp` 4؇ {kӣ/4sm Moi2 Ć'lDVQ5KwY3KMoGK|33,K[j\pqxIu}Khvn`*p"KA`d3aQIOvfѓu/76PnFύ+ޟ%_R$衭\0)pL{0#hֶ&0 ۆ@TT(=|pR7 t㩠* 4B}kD+#97`RڲyK^3fZoAK> 쫎FÍk7 |ҹ:r%LնYCXFHkU5B A0y -=&dD T֫w D-`D> x $GԱgYZ7zXZִF! hW]ŗXiɟ9 i:4'9Zfw4 _.9$ 0=Pdg ;Cv|`Kexdw>hdߗfMď t;l<[yX4(%LpW[ҍAhijBuKdF]mA7ZY#@Qx`]4DU8CG\ f5H9p!6$2gYvEp#dq/% V&]6IەNHt$B''rz,?<~x`ZC7J\Ϋ":&7Ӹ12l^Z=t.tr-yb ngsgYZ7zXZִF! MH]ŗXi%>NsrP\d0-jO+:"lZ'"D3z08skAlR5g;cg@EsRd%ǚKMG-c.d67q&|HJ+d*tStɚ2-:E^e2A(FOȖr*gL9Z&65N  ib[H$G:2/6+E)h3M EYSD_>tcE2B꧷1|](rLU(ȞO" T}Q/m?;!L&Ż/C F㶯_ 3Y nEF8$Cp( -tjG E T6s f3`ܿ?s7A"OwPbZU?˂ rPv9W*t݌giѯaos[,QBdu(25zqy(K"bm{.]f^ :M>@!!nADB*֬&e %Kc# '(:擌AhYͽI bR[iiȘB1!ίޫ=v#\/UDLmh࢓ny"K*P0FǤNE{b#B'mTh47^Z*mN=q2AxSuºl'ֲ<'N 6Ϊqg!IJɹ>䶿 }5uەB=~IgmS=Z¸7aR~yq,FA^%Ϛk">(7Bx%+]G|r˅.y[n~;/_GKЬP$9D*u瑑?k׌_T@!K/VGEړHyje{ݩZ }X%\!U qDOr2s% MΎ9*1t ~v_QQU꘰d΁Hx^5k @1{ 8o`5`p_/\O"ƒh5Elf^,8l [Jzn>YY>#|~qގ]y>sfZ #]ᖌ~}٘գ|l2%m]iWsFwK2C5Ȑ}v "vGhOѝ-C>.$6qU]oCwWݥKE_k<#} ɚ0dgYZf885476b5fce9081148028253d9b119453610eca1770e7d42e284900cf7be1fa0dd3341bffb6e5a0 4f92059883dcd7cc8de7d39ff54e917ea20c0599 534656d976431f6f31bd5345ffc167bc5df1217c   ZF-UNITY