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 e  w]LTL:threads=2elapsed=27.718cpu=51.916gc=2.144factor=1.877zXZִF! 7<]ŗXf1-/6vRZ "@`$%)U^Oh'^C'L0"boac~Nt/)5D;ݙ1Fı)"]Mm/t>]H$: $<&R $Z$xwsR '*<Vg0A!ma BQXfjBH9iJ (n<TZ!PN|,J$O  LTL"R}Ъ*aqƟu;GA{nRGo0b`, YR?@bջv kWa55m>T[$TE|Mӽ;Py/\)7#X"V؊͉LfAq(NrI#I@9@X7J7okI %r YoRE)DbX3PphF|K¾]Y1bA.ea̟?䔢fgeȓCkS褁5 _srOX1wN 9٧H8"5rp@h-^kAZN'+u^l`G.Xy2̼YV_KR4ywk]C=CFNܖ-,Cw"2 %Myh'3%rF3,h5 A o6,ۖ١:$PӺs f8G* ,*uRY;}d9Eజ VcܚA{NyLwlh88ӦiL)vU+4 @ajon[~ (?w!+}bQx &diF)D9yN2șƊqpƠ>+<"2H\ k0]epRҽsN1f@qpή8d# kVԨx?d~[(aż*{UOXdba;y6 DRbE2Ly1\3+ vկlrnbXT4[,a٧(S20)'2V5YBӬ^5xB E׬ZHtjԃ򖑡Oӡ46S%c(gDͧ=hwY&duS7uTq o)["kk?ݛ>%K0~;k, -$rAI[IFfbHT:+}.5E0\k>nbXv]A)Х/ʨȄhz;Yq&֟0/\F^D(P h\h]zzT$  dvq^ST8!B} `n@'hR44ߦR.clHGXNB ܷ -e}lEu=jX8A7C D6qHh)wa62c%Cr+r܅NXxG#cp+Xl<&ྒUS./V7?C+$ {[˄vw;s8) @7a29 vp$+o4 C E713KxqA_ `C%-Үx%`hSaq!vSĆ@J.%,)`L)d`@JF `,o[QrZNeM?Ӽ/ĕSer,ɶjyq= 76^0z kFϓ?RgYZ00fd14ca9b781c72eb16aec32e3f4e722603cdb5 02693cbda30a7a4e72da59fbebda9da8acea4fcb 6540e6e73c439215113bb52c542dd2629f8a76be 88ea336a018555f6a8fadb9087d78aa5076e90f7 ed67544291c3b35270e03bb709338e31a6720914 eee8e3ca0fcf28de481b458d7e68949f7f4ec678d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 3f36a11d8c74ccb5219961f66c2ee8539a4707a9127535f204c65fb46bfd62bcd1a86a232093f8bf