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 ^^ D\ ]S CCS:threads=4elapsed=13.268cpu=41.892gc=0.688factor=3.167zXZִF! ]ŗXf[&:)V<2c_/:`5=^QO1κpj\bF3G-Kz"qeX7Ѡ:܊D>m<79#U޸[:)Ȗnm3T8fLlJz3LQ˂B8-N8/h:h, ?Ho# Il@4 @/b,`wTeٓiŧVi~(9Fm;u#WCcQ>p,cx@ &]T{q#._&l"7/*jw8D8&h34k!Cz7KAcub?SY<]"6٧/1X R%,Gz&qO^W%>{hBǃOv4^C+Ul~zĝkBq9M f|e?Jt])p+ =Tzm!3 U5gYZ7zXZִF! *&]ŗXiɟAyԳbɚ-> t A(v1@6 ]?r֣c v׷YM)3A#;9R M1yXF 4WSQHo$n}%*d˙_52z!*Z?¤޷Q4@ ˳ezY_| T?Aˈy,n5ABL0h4fF8>63]f5u5C`kCeI"CH7eyգm4E]+Ɨ޶3 #HrgYZ7zXZִF! d2{]ŗXi%B:gA#bKUx^\÷m<B O9o)H9vpAMˆw{ȏsrZRb>+<@ S4._~bE$^6]fD##5Cs}Cj1S=j^x }~?rx2 0A0L)ZqIAY`C& Y {ѵ},60 t'PmUe~fl{R-\P0e?S+?@=h6o\J6;y!3l c[{%+s6 K4ˍ"2h>1yPIN C}@v)q%|nN䜙D~Ne?ul,Υe2\hF>i"?pQsty&ж3⛼]v터V~ɛfHywN݂XoO^?g@s>Q  <}"N}\eGOh&e^!e']E[,n5+c] BZVE?[J od=:`K./]&#OH;c7Ϩ%<`X )ځwHøG&5ȝ5OiH~G*WI+7%m%#v.X1o]L?\Y:jwF; U"ljXY-1s;}PݵI?@X&[ZD QNHV6ie;/,;'/\zVܻ *q_:NQ>Oy|j};/F葴CkWj7ge)CiZWmz_`U%~dQܦ ]+c&p ~uB@Fg)gIÒ:I].`J5&F+7h\8ǢrQ024I:zCwj+dB( U wwoB Ev9Ŋk~