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 3 \d ]S CCS:threads=4elapsed=13.857cpu=43.948gc=1.036factor=3.177zXZִF! %]ŗXf[&:)V<2c_/:`5=^QO1κpj\EZzm~!OE TzĶIa=||C@PyrA~/qPܙeI. JΠio k$-߹@8b@G_?,yt1~ޢy*C 4-$TUز?z> o2}1nHVk 1e͛p^R&N>v I.jlìѾI7Ӆ${wB/ն3($#k,uĤ|UՋ)T '0`OL:%4vZ`d"sØhOS DEbi&P~gtaKS_YS\DZ'pתAqja{#(ـ6T)&y4ԡjXM\W$˞>G|CӆmUS-M 5z΂\R^DBX. v/0J2e)"[˪Xo"8$0;'O|9bi=pW1yK\b8D;>$Jb7UC R,%V+2`1'{@P⳩u 8o"/`P$ͭ3\Kd!<6jb]`{Os D>+f%ՕۄNNTL2~f ~HE\ޭ 5!ɥ x$gP'.q@  hMogYZ7zXZִF! g]ŗXi%B#9\Bh-p/Ӊ\uT'9HlEg D:+ եGcEYgg%ZK*ژ T:)}E+ M?ѤnI=ƎVVN jgw#VT  ?>39R"&q ^o=SFz΂J 9Ŭ\n=#I?^`V;M9hl^3*Lqw̉i4LJp|P[-t~WɳjtҼ[e(Vb#L>.k3wK@j20lb=pm7;{A D>dĊ?cAA]I#QZPmYB&ԋOh}^=cK,^Ф%e*8B]"=$#,3JY] S>tv]+{k4MT9>fTzZt⇶K,W|DE((K GfD+550pG,k0$e7sKGKǭ2'Zt#uX2Qp0'~$B 8>Ϫ'ۅ\ڻ8:gu 4$JTLS3 :|X 0*&L/SU^qҢÚ|Ye]֢RE~$6ДUU*ApQq[P[cNr1*_E*z}DARľp%w,\00HR Fi"H=Pӌ 'sXK* fCX-PEIf즦C d6ښO@2"\WӡQ%L̮DYfEv~ȡQp看?oq1cq3ucLZ@l-to4#FcB⧎myz1 KOD~̀'y4=@tyカ7Mr5TA%(שX6/P*=Ry=@k%!~[ϥXI JeaXX4 OlWE3 W^jBÐE2iZ_6I-'9?> c?X/0=%UdEJaf0XҾ], ߷zsuB/K=acԹ䎒N10`ڢ؞R+kax%# 7QѨmYTgYZ416990fd523404ac09d88d3279460b23fdc415483853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 83ff64ea6a2b070362f9c43e10cd0cdb2f17973f c49e6faddd3ca69721dfd04cf6bf663c241612d9  CCS