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 ; Ll ? Separata:threads=2elapsed=14.339cpu=27.024gc=0.744factor=1.887zXZִF! ]ŗXf1-/6vR[]]uRlindBkTi5݈Wث-02ǡohH7F]@鷄:WʒޙM3xǦ)K<|ϟچ],,4*w,yeg|1nC'2@#D5pk#$y>5ZR5# |# o^x'I=I&c"tCcp4帯칎®f egL#"RX:|,ZMʙr-kpth8OIpɧL->/: Yyp7 {s:M[̺w}A8IdIn-j.Z}BE:䶮ה@w0oU-|M*rh `*: YVފXs.+i&+AJg7 gYZ7zXZִF! M]ŗXi% p$K"~}ySgb%ORJҽ&KTOd"n 2WnL O@֋V! Y&y!Ռ,aur^p+Q4 ը ~Z)YKe;O?%L^ZB0YG0ްרe=_=y+ ӥŃÊ=>zʲC'oHa9%hgօͯBXqi1V&Q6Yw^KZ@_`8phKjnaA<_Y{32U ~f5A  i N:ӒbicM XEXv0y͵]P~PtK/SI/e?'kgHgr zG9t}m6$(A} .λ)1<L m&z,F;Sf^-gaP/Jۤ3k>:qb{5g0N8:ڤ ^TLdGSnuyd(~MQ$mZr~Ag(_%*@uǕ(ÀG1R7*K~q'{<^K_з2IwzOS0U;"ؐӆ Xẙ#^=_VM9;E+g~SJ BiCKl }Guf{@٫c50PXq9 94 cb͏6,{B(_Z죍gLm+iGjKsXVÜ`骵Ѡmr̵}"tohPK3}\i5'Bb5b"m]-Y.6UᲒiC#V}< 3q"8EU;?ETLQ8K qgYZ0d624df132aa2e54b02fa619fa707a1b424b9830 383dee4bb60284cc7229af5017def9c12378879e 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 588073e9a94985b106417a9549df8d2952c2dbc0 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 8dd70fa76e1c109c39acbd6e1dfe1f80378b66b1 973d6bd96dc9037f8676681fb869d6ae83013aac a5bca924baddbee28005fa4c98d7271639462477 a751747d8b1d2150fae6ecd5895030882f23af21 d49138b595939baf5780a53efcfb4318f28501d9735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3   Separata