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  4|D ]/]CRDT:threads=2elapsed=27.552cpu=53.108gc=5.820factor=1.937zXZִF! -']ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kgܭo5o"9B礞vAH 7ʓhJY8::sr<֐ < 1l%"֖,&T^|WFDPgX,~^}qMR!T.D.EM̞sY&4Ŋ@΢ ei8ypNP@ *`jK!lߐj| 0BFM[Z j4'Trc}irSEOȏSBZCZCxШ2 ;&{ $`%݋';vm0ُ)|u3hg߯}X~#DYʝ)f_]4띜.'gۦ?GTN*NQ9o$aq|fTwi*+WxOa 0y-6&:=F*>Eɓ㖕ACf$a'#P47=AQ{E1/[_Jt*gpK:vA[ps`Y5aRﹼ s-qa.!-U+(|R-Ʒ6RJ 6?Z{]_~B9`MY?Yr֐c_~^Ϭig זg1_עZ~&‘LwͅDr݊($x"Rfd'r.<[P^dEGw#*bz VD8Qss SIT`~ֺ ٲKTԐ ڊȗ^^jKPeG#Zq}qКtwL(KIQ'+\ҸO=g3)6%ٶlO 9쁀6۽7ฬyh:?4h9u4NveNJSjo(^ӿZՑ"VܕבoQnJ!y~'&*u$"{ 'd7?&fvv}֟3m53~w+gx{EV 1 ˆy+TdÛ\z9k2槬K[~ZhW5́X҆v A(ʝaډ2ΑW'\߁RwSbTq,w TJqM>\kcָe m & j@iwq kC1:܇$bquy.pp'q>&F:l@ xJIG .G^DCP>sf .CTiejRUZ?2MSٲCjzO{!v& T貋K1?K5=ՇDisX8NA~ߌ(d6 騡.nA_~I0pOrq!~c4Ӑ낉Z|"zܙZM$.5&83ra4_:@`"y:HF܌*B{KjBi! ;t^aVg͆G\S@7XQU:Zs\h%CBL{3x!"eNӓb/B)c}l36$RDsﴎ!'kBGtsR>.yfHF^$Uۄx+y)nFW0{g6 [ƾFAu<MM?OdRegYZ4890fcc9e24ff6125be0b46045bbcb18c6b572c7d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e86159945a90e6850127e83fe3923ae724af13c7149ce  CRDT