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 ==@- l| ]% Orbit_Stabiliser:threads=4elapsed=9.163cpu=18.996gc=0.532factor=2.077zXZִF! -]ŗXf[&uݗ>swTHnl%MԶg03zz;7*c% [cQY@]3(MUOa5Do$-C@d9[ 2{yF,SxT]8zOrbT~4Ss} ˙RE%AiE!t[L})QQtݖ+h/+4۔n4fHgN&$.dhv 3]-oك8TH+4 gYZ7zXZִF! w]ŗXiɟC,|XJQWpnz|9"癫;qi>dgU$5{AH7i>k;bBԎl2sj/uuZo͠O?xݴgYZ7zXZִF! Hg]ŗXi%L S'ƓN5}m&>(G#~-;QwŦއyJB 4%]6eHsߌX.3e'KKt@Q@ =_vsbQ_rݠpCM@f??DTM)MMOje3Oa'udd`3fY@/#ÒPPDf[qo˶>3kz`ͥN!RGҿ.~B+oѐ+.}gekk ;x@hQA֨ys#!F4gyJ*4$ee WRwQڜK|3\0AV?)Ù  Ƥ)b2~6GeJ/Z6Evecbgj쯚oFT(oH*6Sd$98ԮM3ByajVgnjh[a#~>fvxM9U^Ay_߻{jRs]wx/>}%!bhP__]#N I0iDSS>(|og|ߩ&$Z "5\2~ o/B2{kLp62a9nK5 @dfI( M^45[Rck7scQAӬ::RE0{G̓KՏ8Ԏ6fw_P'$@bvg8i-Q(P Te+C,