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 { T|$ ]/ DiskPaxos:threads=2elapsed=46.940cpu=76.148gc=1.288factor=1.627zXZִF! ']ŗXf1-/6vRZ3`ivF>qee#C nYCH6dQ1V$21ԁx2۸ԠA:S {;w!- t.`"AsMWzAmæ4WK!s$Ɠ#RFJ8x{ڽ\c]"R7٤@weEک5r&d# kty҈ ^XYb$ h"!Ë\}1}P%`RI6-q.p؆)[CCeo`-`C\zaq6n #G^I, Q&^cz3agH;E a   DiskPaxosd{C.ҳ.ςGhꌁ:! v;hjK leUg0{<wkcspɖvXH';gq U*Gx8)}F”e4Aϱ\^, K߬ ܏oѼi>>C6U%#8?~["ǷL݋ڱ" l± m64ڱҘ# 7՝!rKc2k"NvJuޟ >,r@FnyDV΋= q}6Ӊ)+ؕSbHJJ'tg ,խUM󱒢r17 7t{hپ"E;bm@U?uB]-esC%rSY g<w 8bhnƇ򮅾ޱ46ya@]\P圕Ep#sJb<\=zBl>N3rh#\gYZ7zXZִF! ]ŗXiɟֺ@OAPηRY͝k{P}S߲bMUw?:G[¼*jkL >wֿ5D3'ag`BajQ4Mi'5I~I+3Լ5uQ_B X0 rʚx1ݨUlK=OT[1zgYZ7zXZִF! ]ŗXi%;cL{Of$T3!2F P~_3spxϷnF3Bk7{^QU(֥VgzB ~R1yZo*QT28W_'V !m(d &l>blJh !\d<s hI)T Y l7S$vXbtu]as!eR1{n`cz/BiUΥbz~kWRZX~J|‹kySgRE29*&ikeCTmV^l$2.Jh-tWxG>Dmprl [_ ضP0jânڴVRJ2ǂgq٪Z YÏ]=Tή%<ڃc6wE@STN+Pڐ_Ol i.ǘ03w3SH85ZObk ؇:s?PݚƧt:_ e`D2je涣7U0hcPRV ci.ʳԍ BDHW9;*b;c_Y\>x+ ^ՋIEIFi2iᦦ]QiAV#?TM^;9?Bw"y13n J+}`<6HnTƍѶ`J4p{;˒ְ8K%껺gR>n][ié05OAgX+QzL fvl8kp_]{{|$IS=ww '#jVS_rj5ΛAnEUXk)SiiC9Y[PI4c\P[ bm"H!#W # w]fkzk*IDf3TЋo0iFh,.9Ŏ H/k| OAr}$/-(cސӟyhuVBtG3ɶsðhYܟH߅M=ziIrPy_ByCK#?2a=Cp"2ӧp֟QǰI~,,f_A 6~r ^RDF 7k_D05HJP<}~M:1seqߙZӫ|,81E錽S2̪Y-D}$arZ`)X,B[dR#9ea2\8&w @>FSH ,nJhF-6S dݑ筢j6/&ܳցjx/ΏiJ<@Qy415j7.R+*; Z̾@)SsheP֐zvN&02-Gl&C^wd/"y#(H%c*YӅ/w̌#TE.1Ix} ;rlw騋~.?=D]+w 1 b魎*Lc wGZdJʱuȹɍ ci?ٛ㾋ԵoRS^|\*fTt(s~"pgO=pM$πR%)%vr!Q:I,4+`Hmgz>BKSXD",kA:{$]1'ejk+AÌ8XfKP TTK!G6䆢3s/>\yTT$8ة`UtXF10]Rvĩ7`k)P/В3FMU (^PggQjQcR'@]ڼ妗V9# Y `D'.ܪ1#lIb66bSbw`5Api}D҉"Z?SN%q+}$Dk>Ifp Qzg[&iYA5ܦE@Y<lM&~H 5/gYZfbe7025cd440aaf27785a6dfb2fcd6f502f6f1dd79d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef