SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ? Separata:threads=2elapsed=14.227cpu=26.712gc=0.668factor=1.887zXZִF! ]ŗXf1-/6vR[]]uRlindBkTi5݈Wث-02ǡohH7F]@鷄"RiD9倳t$L7ێ8TG2QG[DgY_VAc' ;t1׶eґ1`K_Нކ^9Oc!ӊzzR]/H{lU"jx䱨ms5x1pnZ1zxLfJjK2."Bқt]ad+`z@ :Q,0uq|v i]2?E_Qp*\rʼj_K831HڵTJ@d&cc$+;Vu ܠa.L+d}!N&9.Y[sA!\7gYZ7zXZִF! K!]ŗXi%}bC-֪T# c[-~d-a7 ?k)yE.r cUr‘~ڇ"0-`uȩRȚtEjёFީ“U+r(hێSϲF~x!:h4-ƻHk{kF 69Ћ:\PSb|-&Q%{K".uHv-p5,a`‹Ob*\Sc0FȢ緯2ԺP0`*XvϗϗRV7E(Kma>)\ꈥ_3+Q2r30Co8АWӻTrC8X#|댛! 4 %:H9|,9jrVm;Ogq3dPqR%Qk96T" > weq>p/g,6kv-wQ3b&:x TDF=ݚWI.di_8z1l8p ]Pŀs}5dp~KOAl}6~~V܈ϱIy6QWz/01%ںnƎ̤!7y>^\F{zIxҢ]a|T͸.lA2\Yd H+Ќl t+7A?Ok3(k[1a jG*?LvXc.aeNUJl "ZZRx^+0) yj7BzUo_%aqډ[fӹ2w]Rq~Xʽ$QL'_^unƢVO ~Cs.(K'hճ$h]8YuB^t,0ƧXNnmQ%v@3A=N'e"_Խ`.,ˆɘ5%V7 Kgv _פ' tgYZ0d624df132aa2e54b02fa619fa707a1b424b9830 383dee4bb60284cc7229af5017def9c12378879e 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 588073e9a94985b106417a9549df8d2952c2dbc0 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 8dd70fa76e1c109c39acbd6e1dfe1f80378b66b1 973d6bd96dc9037f8676681fb869d6ae83013aac a5bca924baddbee28005fa4c98d7271639462477 a751747d8b1d2150fae6ecd5895030882f23af21 d49138b595939baf5780a53efcfb4318f28501d90ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382   Separata