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  wt $ ]/]Ordinal:threads=2elapsed=3.491cpu=6.404gc=0.344factor=1.837zXZִF! q]ŗXf1-/6vR[$ l0I/O]kPJ/iCg6iT\󂃲cɿrA(\G <qN*FS@ 1]_+ԭS&pfxSB3 eOj%YzTeq鿳-l'5ϣI4P岐>*4y jLEyf"W'!֘Xc$~ ,@ Zwl D"nny `%rN G&qjAINn>"t=ެ'3Pfj\:IRdr?%QԔ6{uO|$s ~$CX2KxVI J/_ {GފYUpối(H:,?ZR$Fc<^%ע\(bj'k1;%q>X`b:tEm)Ѷ43!lr:_J)?"s9Ӂ!G.:ȐvQR5me_󘪳,H>\Rj.յ2 ѫz 0a;Rxqrm>y ^FY4Ħ>!N@0@]RF5Uc]ژ ]#>?6y4n7G,gYZ1ab4ada7a601af39fed704936dd68953db188c85767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418ed7d78de9adae2fdee0c94e98f07f4e7f9bd3761   Ordinal