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 ^ lt ]/]CRDT:threads=2elapsed=25.253cpu=45.948gc=2.472factor=1.827zXZִF! ?C]ŗXf1-q恈͐7ӺV )5d҈4ٯ&o3H 6'2́n_̡4 -XcH?B#}r^ui$|>s+Ӕ3䔓tg(9Q)3s׳ YVz]cs۶ s^*՜)=dQ^hW:6sa2NVH5{t#>,(*[yjt>M$Xw^Ѣ4h:/mMW|St=a_\nY]IW-M y)IF5l_@O'zuJ(\62t) *h7e+ol֚[|&2k]ug6Rک[QѭhF'.AN7辿 ‘-z9PiƘnq n;#[Aӏ ƂM8wѥ٩/Qh Fi8M4t^a@.(+?_ 1D%"5 3`S/E4kf2[n ] lI?˜xJj]Pkqkĵ<̴>+8ӒfB Za5bϢh5]̒\#(kK^;Bjanr-V_!bLRNw5Um3F3lRruӾUS/#F{H%;pޘ3q?g FJ &2)j{ջaCLS{NЀJuػ2PgYZ7zXZִF! e]ŗXiɟ1˦rnzx <@0+gM: }W*}#&J}\'G+4}Ψv:Bb pewm]' Mr`!2Tj PL; W"6#Da=g#.肨S†2F fh]:LK=^k?7J>#G@0bt7tgYZ7zXZִF! ]ŗXi%;|{CBr9e`tZW\llR_Aêg~Z,2rkhUpj>C#||7߬j}jTsNE#0”!&][ ' {U=t#oզ"n 3Ԯ4h[b:'>t7S\/%)%]+}o(.=;:DICX"9.+EÔaKmB_Z|6LCfkm*t@UɋBR|ɠm1~F'W,-0Cw#: g|bDO2Oe9 #mLѦ2~5,bD2ޛRzG Të9>GXrjH.Q51RgEfŢYm)dN@;VätQFvO@l\>q+,nj|6,6*22l-ec DO]ijsϭUcǵA;:ql+: )ό_Ǒ[Wr2"R%Z[te7lhVWbz̖46;T)9SہX(A6_B3HteƳ(ii%e~f`P"@/BhD] 3 G 0{S}ٖ3\慁_՛SvVe(yfAN^L";B/ď#)B9(\i}wMzaYw^|D|0h=݊\[|e-"OUYg:?;N_yJj>-~3¯`vҽn_ғ2Yi4#-6` u)䉭.S2{НK@,=|3,?9;!opP9 XI9j~ͧdXp81I˿&T,p8o$.)oN=LJS:6 :(#]~g% B3ttxN1]Z|FdjjTUvFX0ݛp\M&ۍ-L5ý#RZV=َ$n֚Z4Tؒ U.#@7#jk^, ExIUP =\4qt`)ȷ@`g)P%h<1't.mHXe4HIt[gVnՆ,yANFS2V,q4y*lr>RM+O+UݙmهkgYZ04940d0d9af5167b7187e1c94e3103435582469679d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc613df1eb91fab2143104d30dcf6f2255711cbcc33  CRDT