SQLite format 3@ . BBh77otableisabelle_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 J- l ]/ ZF-Constructible:threads=2elapsed=16.921cpu=31.940gc=5.528factor=1.897zXZִF! H]ŗXf1-W5"~ H:Fi{3g] U_ 1T44}ό 8gҼQLeh؝6B&#n9u'_;f:Up:X tIt41hFŷ3S YT74X̕~fiMLW{JeӖ;*&L1>]'4޻ 9VA~HBPYs 0f$5`?Ɛc.-=Q֝n,=ot{r9϶<}^V <~FlggI&:39V!"c Tjr.vpc3t,E5kn\x,p/ZKtIBp ?[n2SG}a@dk-G)Gɔ5KƳD [y"}r:ԚgYZ7zXZִF! m]ŗXiɟ95ZrY!Zg>3gAKr_ L$%x}UyK(D砌 fJ%/⾅wGESR\3Dž">5ӣ Xx ;)8+4q:1Ġ垿v*`QHk Ns &ȦCKhr"YoetF\` 3@,s|TR`{+YTOoR߯#r}p"^#^Vc_[j+{ Y9x6릮Lcf499tGax"N雺C[(]kYqQ"Ti! ""%2kuT#GN&@-Vu[nܳ1BB6VH GF>c mE'i+|Td4YJ2: ƀk`m.Um}Lf3)<1y p +ݟ|~4S%g_Ysw/$@_2%l *Sv%9o(Йz,wOqo ˎ-m1Sk'A;BӔD[xJFUo^.S3?'+&&}xsp-۲Q$B1ʞQ)HU9un8eu^Bn* 1j9vnC*0 EH07¹xxu|/x{{yo]W dpLQW΀ dTKڛ)lz\*aypg O4Qt,v% dx #18bSP%i( :pe`Z߿ݑ ŮƝu6 14ognvm%؏ uHlgYZbdb9f8ae3a05f78300579d69929a637215d64d82f24b23d736d58b1fe016b056b4dfd4a4dd6aaa09 702c52886cabcc5c45cde277e6070ed95fa786e5 - ZF-Constructible