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 LL1 D  IOA:threads=6elapsed=8.752cpu=35.744gc=1.096factor=4.087zXZִF! s]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;KYsaa&d5Y[i߿&8ڝMYYBY HH'K%!GrKvʁ[\$z#*[Z"ӼK2̖i yTjCwژY;h؉lט*qe9ߜP f%mC1ӎj;Ft_h`E6JgHJgH_srʅ(׎fxvdj65&S0 Rg"uV?'䤺k]ʑ6B_R׉[>ҟIzKbļ4pCcoϙōf !btD:KB s ثDUIN <3*_7\jw+: j>y(14sO`p4y"/1Ӕmx7i I2 8pBM=qw(y۶bY bQncgYZ7zXZִF! *Y]ŗXi%6Ytj&{JubӼ+Z pu!Q}[ irw;G⚄H˞> cU$ ūCp4^mOBd,i,;M":JxPr`O$C*L p>^^*l*0\rP*3:7Q#w*2[O}TiS)QYy[v_嗬d'ހ:Q2ʅ('k=-z} Ц u̓C'=ptĜ.e)KUt#bY#R!)=Z .'昙 x9 ˴?PV7̥dO<$ 3l!X}FA8n_}9%0}IJѸVg*B23$纷Ajk~g8uZ3Y攫t䫢\#ib8`Q/c aO})aO ; $־heQAirL%;gGi |Ruj}pbՙ'ys vYQƜ#9mN#x7aH/\%䣄>YRZyOz>::f99(UAi7 dbu>VGx j[mc=E )5#Ak%rUKt>&-0+,7 l98)gQ&7>_OAS( y!Ԑ_ǔ(D^WpqN+H`cj#.:vk L(:P&S'9@^h,=<T{gYZ0935cbe7bf0de3f5afe6d22a4699b88c95c5e0c8 20f478d72a5bcb1fbad9de015615c5c26cbf5f94 220550e733823529c859a6a258e64aa20d62a163 563ba3c0acd73ab3fbd40e39216160d0de8a8a75 7319036ec9b14b681515115059d654c3aaf9b7b7 75423031ef2f690680f016e5066f58335d37a5c8 7cc3e9930e0450f02ff1c420bede3aeb39c372d3 8bd44a73de257dfca1cdfc03ee6fbcff0eb91e24 938d0c484a80e421fb6ae5697e1098725b52e199 9b9a12329672a350731a10b6f071f7d38b0073a2 a11c3093f2f6b7ebe412ec3025bc06061bed7756 a6820028dd578f148c81ff1a1c2b3d8cb4cfc7d1 aa84ecbe31330d8b1d01a40e056125bbbcd123ca adcb01cb026b6f0c3457f2e50bf96234665031f2 aea9862702ac98e9c127ede42162c57c860bae24 c20e06befed5c804ee26a4c681e4a1fff2fa0960 dbba1085e152254111b4f937e379bb956462d610 e3b9e4172c88c8882914e3d4e240442631ad67b6 e6ff1fc226568d2b6cfc085f8139293b3291d2ad e7fe7ee11c7a9648c8119f78c218af6c13c004c9 f49102a3c25e481f4b313086bde8d4c358c3c9c7 f520112865fc85959231a187297106816b2e1bcdb36e7b1353f0bd9851c90737eac803dfdd0f2217 9d78df72fa784f202f3b4a395fa5870fbbabb523 9cb9dd898e943aa0b597ab296d9c59d35957a0fe  IOA