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  4T, ] Corec:threads=2elapsed=59.260cpu=85.536gc=5.576factor=1.447zXZִF! ]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$xv7nZ{|-j,;ѻ]}qہ]BQsmT)$i Yq U.h =bIUI^4OdϟP˖o8d]E oxA{QJܵxdYނL;j7uwQP&@Y#{.Ke*p'BL\eCIm rľPV^HK'fk>q@!?4{+0@̎o4b|T'[mVGUȝr۵p]2FpwrY:5uUEβYjc X`=FUéE2w+gYZ7zXZִF! a]ŗXiɟ&zLo}gYZ7zXZִF! P]ŗXi%9(Pφ\FF]C݌IEC_uT`!{|Ѹ^a0M `bU3J쬓h`xQe \c2-xMLMM@I&Sd\4ATe?6  <₰@Zyp#ܭ0Bh]{_i9OtnI*Qߵ׹x9w#jiPu, ]9CW,WDoUc`>.eהc֝ϵ㬼BqE&7mPou&`m`g2>֊!k,a60do QߟӢu[ 4ĕ l{5ذ)?I-CB$KcYW !GuH#3 َqIq_.~2i/5O$b8 ݱ󏾞$Y7%$ncWT(ۉk.VRQ-G>FÍ/$*& G՝2n`w=tĬ1Ex^Jt?HdG)"V.l|Rf@5/f-M.Ix̳/TK"l9ֶ1w7ߦICL P4 w]-A/y&4aS\}}Bp3d h+d6&6.QWk.^|d| T}s4kk ZМU<7L|` [K>58-,('swNcؖ|Ր!bw]_/$:#vtR>|Q}w!f_ʗjdM<u,9 `̃%8ިDX+[q)=φ%G4/ 43QM,h]nbJ67U[춼e6^ ƖX'CQE%9~):ɛ;\>vh}H>J65kmAZ^YaGܤـF*mQp ropTYl0>q)zPϞKƇytp(9n{YAMx"PI h&lPѹ=Dl^R"Z7[Xoj06'{ȏK?>Zp,>{LR-7Wi$JK[#j* 6L}A˛J2@4qceinj:(7P8ϴ~A @K?AbhHS:o(tU3GXvW MաҶSƚk?2AA!hc\fk3 dj]\x;.F{ JKn0+)Ɔ:!tt t/[\P 'cmd6>&'Iu|U_8沨&mJ dr<0/4OW4 ŁK"5- 8L<k 3's}{&vø=/ܚ=