SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info h/ D4 wS Old_Datatype_Show:threads=2elapsed=10.626cpu=12.296gc=0.368factor=1.167zXZ / Old_Datatype_ShowִF! L]ŗXf1-/6vR[]u^O0rv/=J&q)s"O^03am{$#/Z_Z!>Jd =%BmJk: yduUn }Nt`eWqkڶW+9 {>|XkË9ɹP\'q vNol@̺]j (1 zo LxJOA g!QZfBLܗcSӂ(KP:(E8Id7"#tb5yY@1x^3R3ը[+a2kq)BVb7/m~p5sh-I)g;#XƮ3;B6N6|Hвp@L6QJއQMռԭ{lڂ_0:RPcv \[-6]Qvdv-6֪As őto *4*6/ͱgYZ7zXZִF! 3_T]ŗXi%zx[Zn6#;w7})uW8/ -,mݖQuP7l_# 9ZlU?^gn눝\)z'hm}w mHLmQ˂ѠsE!6`b4!vߔ*aS}:ĩ60gF.)XGRFķ^g"DѼ?G>ϦL^@Q\h|Mѥ[nW[C #҆BImId 9VfLGT2l˜KOy-:,-7v)fl%ːZ>h_;EO(E=\J~ϊ? !&^Bж[Y?K{! 5& ]#WnXG U!F'; &_aO>S$0pȅvfjDvk OS?N3ܭ?%Gn ?֟S I Yiu3gb()99!ޕ*YxF9|^>0+7g:Mn=_17ʹ& -b}^{j(YnxĜO10{׽O >TZ1gDxw'-tYL9Augm` De<:B,,2' d],/gB_OS[1ȪxX4%JXo52pA8R,ܗEZAOH!#?u,&ٚbZ 83aVDw6^%O^}y:H}3m/E&dܔx3fW(,\[#QiF셈Ƣ!f΢ñgYZ13305432bc3653e20afe426f74c9f95e21f296bb 1ef5f3abf8d818521167945b030feac485f1ba6c 71c53efd96ce8de74225c95ab93af522d4677a3d 9321b1493941ea7d671ee813515aeafc2e3ea891 c9d6170601a0c08271763a38692e57cf22fb5bc5 cd25a0e77cc0228c153b2cf2a5c2c0e412580d6dc27a9b4598ca656eb9c36aba33ff1f22941d7b72 64354e2142aad138813a04882ec6c2904dd4a4d3 bfd5848bacf97a9fb8952263c4037fd55861f6b4 70df2619dc5376541e4585994dd3f761857c727d