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  \4 / GoedelGod:threads=2elapsed=8.573cpu=8.380gc=0.096factor=0.987zXZִF! f]ŗXf1-/6vRZȔd} bMJ3>~Tt?V :ޔ!T2l2y萫"!Sx5OCYme^1XT*,gYZ7zXZִF! 1+]ŗXi%}MTB@ӧEK`y|ɍPCuj-$36&"&QA`3;a|H70 YTEPYdFNXz}WtO1旗>boȲux2ڸܤԙ+ SoE%_[6D ) nd>akZRnHն[]$>z`;npo|H$ͻSF_t,Ob3`">S /"Z5.ŽJ0p7+9jtc^\Дʕ0@hos[YޛF3F 8O('pj3Ul,={mZ5a! ޜ; Mh_閒 G,=cvl-۞ 9nkx6?J78TW.xhڏKӤWHiJB>q~ЃTA2*FKGQ^/tŀ8䫧뇙b9a4n >-[[i|\ק__s(S?Ɍb4x"}]7w=3[2Q;F@.kL+wQ8_S)"1׮oFF럆%GruX\ Չ]ܰgEL}^(?/77!7?SX,€35/96b;gYZ3fd30d99aed4ea85cb84e571147c0b79ca02596b cb8c60028e55824850818d8c962b053b2584f167 cc2a3a4065fae604f80b8a0c4114f9999701c8490ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f   GoedelGod