SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  dtL ]/ CRDT:threads=2elapsed=25.457cpu=49.328gc=2.664factor=1.947zXZִF! *9]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*k$ |o|]]-ŮN ##gG8o`ʤljK{I0'+k*P}jIգeTXky#swLu*ٝnJWR+xOfnR..e5';d4Zy$ђ_ȼPƦ$ o0NA;c_wۜؾL')h;` X y$9r1PXrqWEttQ6%ܜJ:9m5?͵ame^W|%?rl>tIݧ  v((ZΔ ĩ4߸|6o?灊 uV%9B XV` kIVc4$<;C͔+}[騜Ju;$z:@]3Rze}<"t$j]ZnK7 ~6^cU ׻yh0ہҢr*Ms`/>LȺ'Gdn]spVrH.b }=A l_uk+g"Ŏ#XUR )MrTg \$1`vbo{+LTMṿ"Ӥ}ۤ++b԰V }BPaUmjs [13 )'pwGRISYNZ'#-7&PUM軮.Dh4/!aȟ!X|zPcK^*ߨ4uq#yBRV[/A)ze- T2۱gYZ7zXZִF! 1]ŗXiɟ1˦rnzx <@0+gMLSi=N՛9OρߍZ-`'D멆~T'kW^֝p+bŮ& WUC"v* 2qQu+utki@IJTDA8mWk`  i{zDPP.^5F13l䠨+Y'+=dgYZ7zXZִF! g]ŗXi%6Su"7[ZjJrN{J}Ԥyp5~!Lxx6&D vW^Լ4Y™mb7aX¯k:FYWScŕ?^pSgZ_,Oź샻E8jl@WoP}qQL[[c;ozV 0D\[nmRat&gjM$)5Ɯh* {fx=GDĩZ7uHɲw1b`.&46q+nk=f!*i? KȏN'Iɘ[4ojf뇔r@LwR*e\hFW3R-GH=:!R UUe# $M'ΖF\{w;Ae`}mU1$Fc gQ琮*g7c#?'LktpQ2H0߽blx;"dڥֺ/\ttҲR& A^ńB3'vn|W7°Ȑa A+Embwtbhr5r$Vz"*<1+Y`1DR8y>8HO6L#8rXQ5"euh'o7a~s.%:> U\HjaĄ9cѻL&U0ŬBCP*O[ |'w:WGp:p36'9~-t3>IHg8%u3i3f40 F*tU7~/}a EƷDJr!E:0b ,hq֓MY:&2hekc}Iw.غcAǤ.N A7|TP_&KDv<#nBp!@|p_u`sP9Xݻ"<"~]4!`jCyU{:UFup&W ڱ?o Yky,hRsB:QM/v̷m@Kx>ٲ6yYpt(kv%\1Rw?T$4- ٨`VFVdg sR #QpSiE*-vjT..\*9s"v4>eי onqK/ BRVE:$ڬlrnvqUCֈ+2,ls PϟQN=7D%ycgN7.7e.YG[[Q'[Ng d&KcԴva G8R{0 BE闋/b-m`RIn_/l:~v^ tAɏNiW(+PN?-[S?nCsʋYΨ¶7׿ BgYZdcf819e1a179ef2cf5f25091b16f3c74bad4cab5e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc  CRDT