SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  m Td s/ DiskPaxos:threads=2elapsed=57.636cpu=83.524gc=1.216factor=1.457zXZִF! ,]ŗXf1-/6vRZ3`ivF>qee#C nYCH6dQ1V$216"e.?pF2IEmbzpM--1ƛgJ xjB%7pr^l/`'&$"Tyr+ͬJުB-(nbPAoXy+47* }D$N'"ap[X2a˷~;o!]#8#~wSd"sM7?\0K͏(Eډ->cL?(9 3{EɊpm۶WO-ka$HM/LOL 5]7@EMό4_u&]ʒebRO 1@Dӧ=چaVOV B0vWF;5WY mHC9z 8-.>C\ȥYz[ND"]2yu=SlHwW$äajws"Э(a <ѽwGaĽT0po_:u\O.*nԇ3,γ>2;.X+?SsL'l*vxor\{)ӽG6 ?vt[c E GNoGLR. Y&3   DiskPaxosgYZ7zXZִF! ' ,]ŗXi%6xgxd)<\1޿E^*W[;^c[r=72D'HޥxW}݆z'7yffBRWDe*w!Gf*%LYvjûܼruF| S@jC_T]P9Ug0dY+b 7CI e`K%#0SU9!}A1,5 Sor^1[=k~PȣXTE *4LKi0KK!֟ -h*j+P_ Lj.ٲs O: ܡ&&U2wv͵r kʫ)0ꮦtQSÊS:$$xn9[|.P56xxU,=K ӎЊO-UMSJrXuஅv ;^$*#}5aS јb緖~Ox!!׿Sd &%dIzWAYPG/P<(věV{+Ǡenw{e^a_s䅾í3|WpVܛZSm>(Sd3$U8ci@HVD%A}RO5śrЌp"R^G<ӳeP{-jP"?r4 ( j驯PŖ3$ ֕@ 4,3L/|jcĭq*.sO`eW:03u^wxc'NgǏHN*N"0)1 s$$.kB&Ze }fʓezODl, 9tzvtqWC@ĴxVLF݀l h{nmnܳM̫ gݡ2;x u]|M:X h:6`*a_r[wFK'zq!.P0#|ڒ!/{ȑ2Q71;Gy,"I7Fb!=}6-ˁTdjVKQB$Ǔj(nDK_'v۬]Xϴ"XVͲŽc;mh}LL1wQ QC+Ώq')⑬V+:Y6Ztࠝ2p|&nuVT] WneVQq&3 6fUɝgPcw`7&8(Wi!|5@5)Q ;.&̇Tx@`[@ Yݏz!N]#(ۣ$j[`#[k,tѓc#z?svŴuW:ϟAl kXtO-ۆQXe)>Ĵ⺍ b`*o nԚ.6 \tv_p9hrS^nPLLE,`{',L, BI?%պԀ-,Eg褌A!ChAG]_r2]u+@O4:$٩|m&RiXVZHTgftXq5A=o8 s w!Q$>tQǧۜt#9[`g$eC,}<8wVֳdΦSY)9O1ZTGvqTe}Xv( iSnZ?$u6&&&}~L6^L'- {.9|ԛe4ەACa_50E/~JLeEc!DțSTuCG#cqÚvXNqlnt-qJGG9~_uS G d^ g$]=Iީq N`QZ}ܓ UZxooY%,R+1DY\&/'52OD r0M_ Rjc- =d҉)*p,wF f\Xca$Κ-Xfo*{FYƳm0z7Jt{ A!_H&o