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 F \tt ]/]CRDT:threads=2elapsed=25.876cpu=49.824gc=5.624factor=1.937zXZִF! (uf]ŗXf1-q恈͐7ӺV )5d҈4ٯ&o3H 6'2́n_̡%~UۂV5-$' cN8͗@>}nل RWphvyա*sQCqY !dL%W*x507ث̢S+Ct.-a š%RѦ{sΪwLoN5Hɪ9h%8/l-8r7zjt<@#JS7F`.7৚F>Acۺv`*DFkWxcÌӍOGd+@%{ (b_b)u=ˠ!erؙ)ϐ.,@kNR1aftDxRMK 8G/ Nn5 yʼtNW]fv;r#Y|gykіG[+sO$t٘b!QEk3dHiK001nBSJlRZ =5[ YO!rbEט\{.N<8BG:]T&PajRKTUlWCD]qMQ1h^˞T{F҄$'ZɹD㲤+F;_Z&dGՈ]lzŢP:#5 rnV}*C[oT;P8 ϲosHc;ygηCݨAYM4=Try_P6 \MvUm(3n5,'slk`h$ JYJc@~" PdRgYZ7zXZִF! f]ŗXiɟ1˦rnzx <@0+gM:TڀWGZ*}#&I?@3[`rtdJrpiDˎNT*JOuTyぜ1{P+!,o#]$3ޅu$ާY\6e;OqzK8xPUF;N9 4D5#4 4I[ 5@RgYZ7zXZִF! {1]ŗXi%9(PAP[W=MY]=eP޺&UlF 6R;?iqjĒrkp?q$Zc?mrxM]ANAgRfX*LeX 5睊#d(.Ҙګf F;d& M^7bD:iž|ziʃkYmo g53hRlTJ1%k-H5hQB"f ̾~i2B Pc9rJ(]%~w=*H~WiK›lq P```LY܃3d|2&2&3Zwa,5|j%VnEZ;(6Xfr>!v<{ `[ [-Er.&dFK^Jkeż-m5wg }F4cw d$Wa͎uՀnh %:QA~}@kRB0h9'+X wDi$D-rf%F%܋b*I=iDO[I6ZȀ#̈́zKf"l>;7S*t602ׄi{Q?Xi0wl ?yΓ3p U0X=zxGQ0~_3Ŕ+(?R5dzp.֍[t4𓁮):ZQDE|9S~`{ 3fj5Nν`+m/_9]tͥY%Ґ[U/jb$6"6_ɢhD HF@+G6ߺrd±[*bl1"o,KHrM|FAAӌ@owma?acf '.mH]KQ5!Tȶ{ h%!+t^Ƈ;Wl|(q߉}I@A}#w6/snŅ7\!n(OhdFOtף/GkNCV6Mc>zVE@C8 |r۟S托Ъ]ſ6蓙uϗ.S vc|fqu(+X>J M'Z@ Fj5!5?V,Լ1?Z'XhF{3[-Q4[5ʂZ'6ќ~97dkN3`p߹Rk`-2IZxsQ5b2LyTI܁T]Vh9pBO"CqD*`Y!AZZhφH=<&d͔bZ(% MSO߰`i=|hTx"Ɠ:zR_K#har(T} lGze"n(#V}5r2:?O;q e&׵/O2kS{6?੓sچ`޲PRHcz~ pzt2bȺ/X=ܝ>l o jq-kK ;D1:y\D"Nq= ޣ&,-w`kp@Pfś0,f$Y{g3=z, S,a6vKqcdӞr_Mg5c 3wJpߖmYP,3Fv(͔,LFc/K?%WFx8!yqxb$gYZa11258d3966ccae0f53ded5406bde00bfb4319d8620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de1579fcac77cd41c0054483430704538ac04a10aac2  CRDT