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 P TL, ] IMAP-CRDT:threads=2elapsed=22.488cpu=36.936gc=1.740factor=1.647zXZִF! ]ŗXf1-/6vRZ- VG{? uaԌ<[_ݛ )s=kH !,זvu(1V %Ǔb8lg&#!k?6(*V`\[{ $׬0^ښ*~!غDًj˖=žÅ`k7 ck5y[gMyEfgDt1nd 챴2\A[(f z'xc?U\h3$u#x Fƾ4Ǟ E{}Mf!., <ʡ|h"녠BC:#e)]I䛤,& S$D'TZ"vʳ*LAmQ O3s.0E x]qFʃmӞR h $j dtJ&23!/q ^[k@[NKYlEp5n;ޭgYZ7zXZִF! ]ŗXiɟ|OTg[㘇(i/z"j\$t!9nDƬ&o}w7†I{9A3:y; I;`,'kt'EӪVYЕת@iVjIÉvH2J 8gYZ7zXZִF! z9N]ŗXi%;:#qF;ӵ, ]"9Y`~ R` 8  fcOrѽ } `RX@)i$SpG4~ot:myXOk/@$6 !e?-F6̓D&̺a7,R?6}Z軿N/>qpnL['9~ -ѵ p tY-C:98?{ Q2Kф2Fw#0IMR癧|VbHƉwqjvš=>H.J+(r@|LqFn3o"͟S-#4BTJ[q~BzCyVLvm`C\~g)LK[;~SNԾ:O˃m{04ҁXwO@$L3EoU߸8( oλz0DŁ`;P(@ա1Ip  hd۫1ʢF`t[m7  )StD"Jb[3Kb<&8Y^hə[64!r:%NJS7o؎67ܦ&&&H)f2{[h)eNBy3q]r/VŶ՞N9(՛ЃKz%4ͳx&!R 3MdZD @<*p߀|cZEĢM x?L YG{-T~!%bq-AS$M"eK m+Ί`Հه\{i;~ -xNhﱴe ;K eR6_yNMwGΚ-AMa Ag(6T1?ȼ5FxM~T[u8@^yx00OhmY&Voʒf5,qUH1J}q3Abw Jkg@tг ^'m/Thۯ 鲄tz_f1 7F?\'w]WB/c(Om ]xA_35_pfa!a=,lۅ:Ф= -Y{t=Z{.8UCEXbw9Ӡ0PX,08.uQLb֫y3vˮU[@d v[fyn: L\t MO #