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 \\!1 l % Stream_Fusion_Code:threads=2elapsed=17.793cpu=32.848gc=1.564factor=1.857zXZִF! "]ŗXf1-/6vR[]`^O㍌GσCUƧZ0J -,&yS LD˭1]R,K J :Xf#9CP$t.knS^UchVTs_?d!tc}t[UZs?w/kw7)6F] P\yXx& q'$~Ӥ-j_xufQ.wB)Ug-1_#8Kctlqqj{7튾#yl;2z;}#+ Pz7# _`U܄Z:C'p~ϡGPOKAAPGo,!kB* ^.aW.z`Tܷ0.y!56nMa3(YL*qDS#T9o]\_S<%{g6m\K୅:ҧlL>*VBPŀttV6#7I|( $8ŽPmmqB'${;F7Т5/6rp[eE^xCѢߘS Nbhst&%Q!}Y*J<me\ڵ!07;do!"JELgYZ7zXZִF! b]ŗXi%6iSk@VZF6qndPZ#&QGdL -1_/tV$o%|g(8(޿K*۷}Z 5 뒣 YsWYdIĴjm)fcYj1 i;5@wWӘ–$Q jB.邢"|I+bIcMKȞRw;3V>x'pэyUn5%dF![`pFZR]茅'OkB_@q5yACNN^ܐ;7m$ׇIzI+m_aԴ(dJ-۷Ӝ}.pE~UXr-Y 7? 9~"[DN+$myn݊md0uj}Q"c4}(ͧ#YqyAk)H  S<fSUk9(/$,` fHNpC(c2ÍЏlR܉u# h.;9?m |J@pL,+QQ'{IJw +eXt⻅1y=O}<=d|,̇m%2Of+hYZ,$yR)7WŌwu (%2 q,.wєL<E GTF~u܂Yd0jCn nͯF!/;c"t6*/)3ћ'Oinu9upQ7(`1ƺs/|qL&CCdgy{c}w'tK{ǐov+mjVMlbm JHcJNG?3Qr'kn4reL8(f:^.XCOS坴e2zC#P,h0 >P=8 %t2K'G Mý[I/#˒dT,1P+qͩ 5kJVOJI1b`ᷡdT1PTzFa)qx44dž!`ftN$,i!J[a'.NH Neit>9&I]@=|0OTU%0Qyct=<}/ ':9gYZ01d0bdf631988cc5d8b72eeb42ef4edfcb65c434 21801d08fb7b25dafbb4d558fd6472932aadadea 2458f4e1fc7369c11bb11215ef670b9e49e91ba4 311723c14045b9608a65a890b21a88fe2cba3b3f 3ffd74b09cdb5918f1cf7e22acf57ff626fb4e44 682cf9b44f4b810fbf3dd344dbb58ad4b42af876 b049cf22e7ce3479c88b968a63aca5671d014e0f f0e5a57dfdf7f6cdacfc0b9da865465b469ec054e4688efe0911f3c4685119d2413b25847e9bdff2 5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb d8625272701e7304f76db642b7fb0e61f9b07c0f 4e073c8ca9995e1513fd8205e4ed94aaafa60a26 dccd991973917f277bd972d0a732813b46f6f2e0 1 Stream_Fusion_Code