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 m1 $d % Stream_Fusion_Code:threads=2elapsed=18.268cpu=33.032gc=1.592factor=1.817zXZִF! #k ]ŗXf1-/6vR[]`^O㍌GσCU,,#DF} RP4HQqlVƽ%*,Z.j}wBy~bm3l%dP~Y|PQe >c#s ("&qځ6}LɮX@!RA"LK-G~vM@7ۢ}^롣{RX6EZG؀CZi̪aP sr=_U۲t.{xay4L}䑲xŞhgF&lݖ`euC _Q}^oEE9U<PTwfaV̩ %y8Y,52Yc梴M׀>J4 F QgYZ7zXZִF! e]ŗXi%}#Y z肁?oc{9qᔪS`f0sWKAZ0H`=8&"ȡxC<3魴~!] N4WF.>=nIe-"5Plk5nȁ[j*U=B[iIqmY0e8ccfȤMC)iۇX߽Έ6cGHEB/#{s>d~/;pqtucmM*U'^ ׭ڵ_qr[BFsˡ2I&֣ Ou$O%)W5Ѝ (\``zVK-KP%rd ăq}NB{E2f5ԌD꒹=x>Ի r bH:䊕JP9"s*eOх/G AZ'|q܉M$0Չr#7Q3BGOYTHS0{0|T:©Q?bQ5gI8:$Q5p?[h_9n)yD \.B\锬aF%Lb |3Nvgmvs޾$w&v7tE}: pI, Y肋M\nzXn䬯̉dCP>:{HxrO)cgE~8~*b@={?n2-Boʨ!.h$ ]dѕg,V .:mFS;U.&Z$Rfoo~H@\Fksp %0CeRU`I5]cF7 ޷SA'՚H}%{A=T!rࠉ;&9}yΜRgYZ01d0bdf631988cc5d8b72eeb42ef4edfcb65c434 21801d08fb7b25dafbb4d558fd6472932aadadea 2458f4e1fc7369c11bb11215ef670b9e49e91ba4 311723c14045b9608a65a890b21a88fe2cba3b3f 3ffd74b09cdb5918f1cf7e22acf57ff626fb4e44 682cf9b44f4b810fbf3dd344dbb58ad4b42af876 b049cf22e7ce3479c88b968a63aca5671d014e0f f0e5a57dfdf7f6cdacfc0b9da865465b469ec0540ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 38e9905181602a320340a0cad27ea92de6285748 92e5de1074f603cf4989ccc5c31a7285888f75f3 1 Stream_Fusion_Code