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  ; l,\ ]/ Proof_Strategy_Language:threads=2elapsed=82.866cpu=84.136gc=1.796factor=1.027zXZִF! e-]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^DruA՘<]I^>J}(^(9e 'k#:9= Zt5Y}O }V=1. =B|(E=9\;VgQF7)cEx⭚B@JZra(;i-,&h+Pg_vX-y2F` ـ+fQL$ `*q{XڵI95ز8lnY2v< /vgYZ7zXZִF! @]ŗXiɟ1J2 ; Proof_Strategy_LanguageoeTʹ̰Ko!oaw(r[g=WPIi[j-a,wk?'EuVo}iRln8Zɀ Ğ_$3<)P.Wp%IEFAFS gYZ7zXZִF! ]ŗXi%9(OI+bxE]81i[I"{>i̎4X⿓* Vp͍ϘP:6[Я +|*w = e:W<NXH,r"tz$*wG26u؀a|ą{ v%{C f4g5>b3eL9i$t }U){m^F(,~We1GJG~?q%mJ|jG6B̿ORh9lo<3!WWEfͩw+Yg?&5 ==XPg] kFXmkll{{] j՘GXMi[܏+_ u X e M-/S31 ) hjF+2`_9~*Wa9a5j!F;(_H?S̿X~84nҎ<[yuKP>ӯj{,$0NP(>J.Yll Qf@W|rt?h"; RH/& 6 䯉]JR6\hSZ! Loߝr4 L0 YoXKvcZgge)! ⓮S^ETF,9%ެ;d%?BC@W 8 +iLї)th{ΘY:᯲0LߐS1!GcuW? \_٬`RPL^zب+xyf w)=Rk P3!kYJcӶ>.4zn<Н+k`X#Hݡ((̞TXJ/V{9JV`Hv G{"gjLG JЅȘ`P WP}fQD]zк|* #=!)',T8N lapb޿7̆GP)ƃ$gjYXզ47q|m5ojv$M6rf먷rj5: x>nPO!QALs@5yAAIuCj;;H<¦[Hw#"4gKƐl3y=*0摖R~́6 ^(.Cʂ֟ 5osx~cxXpeqʱ v2Բ믊7hT|wYv}2f\6Y!^[4'ق9+7&naް1ʋq:K4ybʨt 3˽$0%, ogҭI$^i*ÜYFB1 K4K?cC}Y`\i,j+r!2 |BXԋí+)ˬ#XaOq `!?|<$<ї' ivE{܄HS7A/A5/5Ј̠pɊѴckA82&e:Oh`޵p-ʙsO+5Yb!+,Ѯ1w20JeZ1<̶BSXQ?M@R YsRe{jt J)S:!̊/A4* Ca ;OXf$`;{g2FցNRaiQ %hE<$E[ütĺL]=¬M+ԅkSߚwCO]:_߂zNz4dZ)?dq].&E$ h2L*/s,p_=L7/D#M/EA(/Yn0"[R-*]Pa -|#҄5nbbb(y݆_U$UBBWrވH SE QM4+83ֽr=C߱bFxZ1DaREs{O{̼=᫝l烍k" FZ KzO f-xnʒɬ4UsA` >E*.D~\…SD]ݘcMt