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 v $l ] ZF-UNITY:threads=6elapsed=5.860cpu=31.112gc=1.436factor=5.317zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb8m| 7'ńoȴ3v`,CA}ιiuZd-WvTiJ^w&Ifec{-8c.r9׳>qPpPZڅ;wm*gf򱖎0E%:VZAud{~8|-21h9ϥ?S)WsfFf!/YŏPA"VM 2Y>6mK~%ab$e9o*)MD07aBևM0&.W?ˣ<.2xsFx Bx)MoF|_$v)`+]ڎ'U/{u+LV[AM2f⩷3R@%pxBo:w Feol4Dx㌖7u73" 00'BJf*߼怿(eR,xς)%gYZ7zXZִF! hn]ŗXiɟ9 i:4V;}A<<ګMP7kt2&=F3r ޓ݊Ur `#cFՙ`+;iśhr43pF y9QԅX-D}`urNTpJ3MALU}BxbmKdYJ-c0˽(gYZ7zXZִF!  =]ŗXi%>o [i>7D߈y,R6⍕1zϚ?sh{g5ݬ!%u\"iS87Ä-peB 1~8 /8(i{I~Z lHhͼ+9:ف;S)Sp/-D_;"GEg=SGij\aAVڲfK%_]E+IXPф3M]=(:#dҦa^Q/r " S\yjŤlWfјX3.I@oIet3@bRX-m[XrMC&zsa/_  hIkT~{ت/GQ8_ '>7&k]-Hs)RC?=Ԙpʄb2b61<7jWRb8؉D3*:]e @±!${6Ws5$4~@,l4œ &4ūWKE3wBVqJb5 j잵J:Q%Ln-""5{??dPʆꄂ*6E,4M;q$.*7S0g"qEe;꫽Aӡ'J/A(V ᳁sZsմ(հ|zL#K:igH]h!6v7hל9P[ML9a7$Dx7ɋoshG=Rjljh^6x"΁*l@b+W>壌G3 lzЖ;H}W":^]gYZ0b1de7e48471cd6ce03130e76d40e093a5e62dd0a1e841a14f3cbe5e635587c582b2f4674f435e40 d1c8974a3724f14410fe7d2d5a2d110f7f79627e 50fd461c77948c4968e2835ddd80f8d02bcafa82   ZF-UNITY