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 Z!d ]]Launchbury:threads=2elapsed=80.005cpu=156.168gc=9.780factor=1.957zXZִF! I]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jndr2r&:IN),I pFG(5,X˖lVj-N o/©C嘏laJUv'ΓNN}?-fgE"E"f0齻[n!淑ocB{nrTyhQYVG|F*UT~y/FNqtY&([P;&Wi@suIVOŏ)a̶|pH+T/Lk,7CKNW'^MkW  ! Launchbury@3ˀ g zN%8vGzhdO^{Y~)7ӱ[L [Y4->#`P룲PsxZlWcf̑UNˑrӕ L'%14}s @ Z\ :Iw"$z#Н1Q{e;/>ݟKzx&̓(xcj`'3D,!DE,`Cl D.Gkﶍ_A\-{7> "P87>Q% &0`ŲHAZ|~'j/°OS)apRC6!&ۗ{j4D9\TiZHҽm%]6DD`յ8w0A~H]B<-?ǃ$qXm]GB {`rHcskqAiv5O%ո]mc̪EIQ'崿9ebZNەm"'Q\dWnJ-{0x:$OIa~Ev`P$4_69') 9n }!_1@Twwp&P'dn_:^% _̷.v ]:=J٢ݑPI[*B[(DALC?P Oh}+chCe\}R%\hH h z_nEc&HLTn*8>ň޵Z5! ew +Pܐ+[1h]`GV!y 0yvKӿ]jk{.w'4ѷ- TU#6eT BJHխ f ltx9FEow"Y:Qdj5$%ӣ"C6$ayl9@t `*FXk _,\8N3$WgPZJl˛o<-ɳ!4OciZa8hJ)WynB_4Wy ̯O2@QuH8VyIܻJFXN^\IeTi,zK L- >?'5AY8U{{[= m! [,= zUwM<Ϸs-B =ljŨT)l(נ+ۆճ9jteǿb)'YO(H,:. ^}/s??tVxMAp%*g.oN6'/$3ɓ˟VgYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷W'6pzFdCv0TfSY"\h=X̀GpB)6t)T{h9X4729 r`{Sn.):EȝOKOd0{)ڂnNUυ?vP;n691 S0Fwt*(O2ACsL*RFȊSeOQ֛'{uXX}1-%AF,Mr>ɩ$Ue |d|FȊEMS~Œz̜Cva,&[U.XVPDkV/c?nx v  Tz<^t"*Iw20*rzřf|ϧRy?ˮj  _ouX*"jK^Ћ6Kٸ˅AsV MHr[ ]+7+'ֲmׄ  KTfvǵ_iѦv.u}rCA,<\pL[Iߕ9jG nT<~?f4H2FR]#=+&&_eDwrGR_WV%| HT,yΡL0dtrGOk_$JV* :m$Y`MGMf@$l~]LN7+&R8;t Z_hUYM"طiحrXfe2wߘ;M[mq=6( :?A$dL'D&6kbG)*pd3uۘ4q2n~7msKXB mY#Qd |6L3ަb`$aםD-aGt!~SP^"Y]Iώ/h'O7%DHǥV#h F},'j_?z\N>3:QJ*p;^nzC!8 4FcI7N-D NZaҽ6O]i8G=K$/4Rsmnedp<|9lN6PLx *GzPQf*W%(6N~mH7YqM,79Hަ U2ޢi{bA,6Ȣaz6g~Rj 4SyY\j!TO}ʝn%Y~Kx6狴 &B(e0Bȓ;wkG:Va ؓz>Hr6(2*sB+0<l(rA;ydn3QcQә PANg2*cS^rhW+cX 牭2}8-V>;|~ ,L$5|"^&o&cP-~?mMd>Qn=xpM5[)A907)߰p/Y I!l6FU:ɮ E1*)E %db:&IB|좩TLLF$po#`}XO'Z7,^{)Lɹ $"> V=𸿖\ljfr(X͓xߡ HDBx_$  '0 +@vl?R#P>q0vڔ>\e,cv}΀ƹ`R )%MZY`/MwSp+TW=gj $Y_5Bd ܳ u{7kEM`jq"V`,)}"w1s! KzDDevΗh-9 5@c9gi-!zrh_1^s")y-JIc2W[Ɍ(?[V@T:4ΝWGj!Tb5WqE"Xl7;F~/2{E/QxP~h? 6/ ްX1ɾqhzȑPtrgu2}<{XX{'0yu?Ft'vIUاب|:?ӁA;HhڰCI#LI4ѵjRw?^:X~Y&M^U06:@4{kZ(gI~ H" nA&'c f.vWGt^%z1Д9BNh4!wYLhЋ`%|*}aFaUS/{2T. D@kzҬ㤃 };.`/U Fa 䲎J)^mD+>HIKYVTU^yǝaA@7U3IK@xcJ:>YQC߅[Ze"I\tkm?6#('_tpλ+Y41b8S/6ʌ40g>X&q6;Kшl4\(4M3L6bˁ!챧!!DG{dM&7b73`mgޗm!0Jz1p3PF"Q }u[ Ģޭs( i"d@ɨODnHVqת WKo#fig`X O GQ}vԴ4Noe$ӯ<=WMCofЬ'A}pj_>˟ESj%7}.`dKQoِWðȾ:YRm"Jv:!+`OYJVs.}.L?ڤG:]CEW9n߉>2pfp@z".|5 <7|Z(sXadg}&&㢺m9 ' ̔I_-ު]?0b e0? TS";:REfhY2!yWu+֎YD焣xgqHw76G6m /GՅW^iظ"Oa DuːWAd{{{/JG 1>H/-WU4 nUOGi㴆2Dx|!Dgf2=Kgs>q;! ,6C< LxoC^h37,hmk/]:X o"Rz5;p)U m372"؆|8unP}dVw*w"uTƄ&b!&<%?pAKM(O8ڳM^Aڈ73.mmx!h4V}9_&87I0뇧X0PfHC֤V9 "M@ N C#j*7ʿ5fT;븍$3[=Gk5I5uS"9 Hj|xLUzF^ X(3^@7mƙxCj!J<(Lq݌=Lv}]šyW^b(&9Q`6JeP9;gb)j( bzH\ԩQ褟 *Wb&a:jAՉ0;֧NU |JS4rA2Bm|U;nr1H Ztk.lu˪AB6$StB5fYjc.ǫjwZ;Ƹ !y+_DH+PiH~BpkG֐{,Ddu#4qg)N;''LX-: .)hI(OXg۽Zn8?I_Ozf mͪ6Wy'2I-^6o1ǟ)}G刭?.Z&85 tmdgmK*r(TXu6^fNE](~y}X%|bGMVM,Al7ވHRHEcjad{WO>VhnU߭NCE&HiRݹi@3ʜ