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 % | E ZF-UNITY:threads=6elapsed=5.099cpu=25.108gc=0.848factor=4.927zXZִF! a]ŗXf1-WHIkWxXr:y?@gpIhmxKɃUȪDtDѱGHO${zd]>sIYDZ_xBh& -YT7{?q-6JCyUxsj_p&hDW|F3-xA M)R}`_㣯t.r83N22]Hp(3.)!T`26zv {˓[ lv\"=w74:}ϱn3\;4mmqb-EpRR<~P6P:%\XCOΈ:z-ŀC˾ nCH#yCz:I,rZFPZ'x?yj-ImA[gX0K5dA+G&˙טJEяXjAۯ[nśGvQ#ۓ;?%!ȠXՏ?WVng/ gol\u5pT&I^ea*LVX92bf2Ќ8צ]dj>aA6/7ʮdL`]ߨ`§?u wMZS3K0H@^rj$mZdO䉝YAc * kcug(%.X)CU5i-"a9uEVQnl(#l7 4&;*q2@p / I&0*D8}icą2v yVE ea2}'N'L2i#LܨO itGA{ ™ ^Bd^u*F5TG?aحť  FqOۊT4`QʼnDj\֨ p/)cSMc)ySI(!Od4sXT4~~>aQ(nhmY7vf٧x4s\r+ń3scc.3~ {yeVw-v$?F.pձLDօd^Mg%V"ǔ`uoLqUʜY#m6ϺA1 0L4,H\LW%XuNs reQ+g{U^q>ϧ$RW:_.5\qxcvH/zokեUަO.DO3;ԍyEEJ[Qo,ب3 ^ơNq,(-GT7`LW8vAوȵ,vC SYFUƂX0Խ$\ĂbX!^JM$]k4lTA1~L&&s(+paK<(Dâ-~LHMXٌSMj֒/SƔii< _ʳJL]܃5|-w:OmFnhF(}HObVtoX"ԻǑv b/]7 iߩyXaG$onZɨ<"͑a{=,lSC05'5' TDrMe9[*ՠHʀ6_9 I}NZ)-:ޠ("Z!VwN|WZĻt4l<]˙WD !u<悵b.٣<"8Q?Kd>{3"WRgYZ0132b4851e2517caf08125d7cf10f3d657441b9e 0d18d96e673435151db9707a297874c8fb804e62 1468f0080b3e8303414ad73074621dfe5e79ce25 18dcecb77cd10fe58091ddb81c34192d228ac636 1de571610dd535d91aec3c0e4179958f706b06fe 27af5c70403d5039ab231e24bd6c7ce3ec57bdb4 3b6c17f313ce40de3148494638fe849b3ec91a82 3be1dff01d0f0eb700918766781c5d4fe9c54098 3be8095f7616207514b45f0c041e6900cd6a557b 411eccd1df10386bcd400c0819356d29a26339ba 47cddd16f693246e87962aea87bda5bb5c96e680 4ab183dad94d71bcbd8473aa7f61c93e3e4ec11b 52f301bef6110b3e25e3a129358cfd1b3bf296ca 5af7d7a72a075673330ca6ffcc8980c465f3ca99 86559328478a95db06fd450490a17b65ef89e186 93a63257b51dd919f23a6b17972c57c7adf95a94 a266815dcc527e19a8e41ed5e66590b3fb62978f a64b4980f3dbb344cf640cfad0060b6b1377feb3 b1b8e5bbe1248a480e021caa2a4541c23708b664 b9d148a9f6c5836a008abfd948ad3f087da46948 bd5cb36b5b5d1e74122cce58eef23dcd9b344f26a56ee4fe6fd72e6d5d73a9cf689ea63e99dd133f 38c0d08332bde68990991e0743c3245acf0accb7 0e0ed6aac7198330a94fa62f11cfda10e216dbef