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  Ll ] HOL-TPTP:threads=4elapsed=5.551cpu=6.860gc=0.260factor=1.247zXZִF! f]ŗXf1-q恈5Vs1{3 k8gx'3 ˍ(`lTr`5{BDZѽ %' `)(@z8/FπU%ˋෲ'\,SO{ӳ.ބOEEl 6qfZe5G1C^XIgX޸bc~)9An(@㯻}6&2XC #\i|rlfݫ ȉě]gYZ7zXZִF! f]ŗXiɟ1{nOąmu ꅣ%G4v;L7Pz=݁U5'؉[wrFHmaVPb/uP7N[$7LRw4%)t*MZΣSsQ;e7LA`r pʏQ =V'Zvi &jxP^SЁ[q]qW\ÚL^t1Pzˏb W#s~M!0rG"C2;8;_6d;rtqәM̝wPOHK撚J|4y[YLN>toU6(IJ~Bp!<.੊}ZP%PGl7qEq;%E\YTK Nu*W4a#}'Q;Nf.}jda{Mk8l:whoϫT2{ }JHz(ۑ52PmYH(y|Vpnԉʁ.#&fhnm24ǷxiK9u؇EA)ޗӠZ@a5mdEd}V~ub 21Mز6Vn'5|Z1]˱/͉;F0԰E[T V9u֞N%.;7fخ[~J