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 7\4\ ]/ BytecodeLogicJmlTypes:threads=2elapsed=82.743cpu=149.228gc=3.776factor=1.807zXZִF! ]ŗXf1-/6vRZkX U,ذ&y͡y % bLi ,u xPvB+ֹbZN!:5> !tS{@knO7ؿj ]j":FT3V ?39O;b#wCHCxM}9&igB=HKx_{dOU)SB#t98Eퟍ4 +=wEJsDb\ף#yٺǻ %ڍ7I9FKmc.n\JM0ۃ r/w|m7=k[7\\mԄwהۘdr0%/mVކVc?/,sF{W6ĵv/r|=_\1(J}aoXG#Ur}0ˡRkd6؟PeF}`ۈZ\eL>iŢ؆)4pj|;"MKd5B=?bFj*Pg_DCGj6Hg2gpd: FTK ^)Uo|Hp+d1 "RubZܕ#aOn@`M1b'L\瀲.q-|Uf'~2fOLAG x]Y(uS΀bdx;̼nNrP\zk 5ݠ)f! Y}/l(MZ Ϛty|.~O=%Q83)k?9M6JGxK}48 c79&K0T=h0Ύ[a߷q[;\ea"G r@ORfHQx-,x~0?mp94lk g 0^ :ՄBf|dE⃄9(\t:&ڍ.#"@9?k#Z8~W mOg4cW^ ꊾ߂jbcb@suY-NOh7Vo<_ 6qqF MbEh4r^o8-Ë;@PSq5ňԁu Q4=ʵ<||.]CB2ܞ*tDp[~@f 9­vFE6`p6ϜmKOLtkeH|.)(x<Ƹm wZpwe^x䏨4<]ӂ|0r켂ebNUXo#W۫eFZBW3t?%CsP4~WyC%GLIxb*J`%@qпR17$ӆĖݵڂ Quy_LGOMv :BљT}DKQ46cz>>C`EY[[44GJLt(gYZ7zXZִF! F]ŗXiɟ/jڢ}n>t;mmB~a^TqovNoND<+Ⰸg@ạHG6%>i)*utו]is5iCY7M25~1/ WC_TӸ^Z*Ty-/,F0BB ixBs1L.v~HFq򐍭oR|gYZ7zXZִF! e]ŗXi%92m-f:a[<_Qg7JcO 7 BytecodeLogicJmlTypesdHC|+bor@-qo??]&,#",hCH]7;x),cO)uQ^(r`+f5{a'g3( X9czqPO #?p 溹eh:\Gc^)"cƎMmDT$f R{e~ ).VK"%oahM>cvOdś=BA\Hj8)T(oo~WZ^z iB H z9rw7l i5@df(|y(=+_bץp!TְaHނ$vgkq.}i<:yr~{WJ$r3J)/ B]ъ^S Rh)Bf'9NUc.e$BŦRӧ 2G8n(_XU^tM bu/voܻōMvUe7vss=܀Z[1e(TلBoSq Y9kbfj`B%!bt:jP0s5 T3HYcV9,>>YƩr'sPh"{Ad<A%x߂Y$0[U4=Z z,+8GNe<֔sdŊ6bDW'L|QȋꋡR33Jհ&9?G~ PhvPJNvh5]](W/Ԗb;d^; ¥V?JCOrbv ʺ)Sguۛ::<1-wDi:[wTm7. `$RVqzBvګd3JAh*A~R( 1K* ɴ±~Z0> Lj C&++kF>ev0a5M6@yY_&f$OkgyבؿGQpyT"5D,3e 0gxC y] 1S6=Fxm~>Զ/?Ȅd,#br; 1q*UџE$eq*%;Go[.KFXw~xXBW!KꯄMtѓf*ƺ)b]VpuG.xZo9p|qs~~!}@^Sއ%, 1Z7 G$w蠘HP Pj'<ӥ7)OG$o>wEL?$%W!<] ;&3K.TQ@e|H66!kP?XEXi6FoHIz0ϖWz9OZ sQhpw)R 3'M6fBfV2 \~ 0'TFCYAK]~$ vQ$ƵKQ̃ ED_E1QzsHXq4 8"J"hZM2\෍.Rc;>7}AG{ _̫ փ}%D:,o\:w6?`(6\Jъԟ(m_A0.\#1JqZZƓ2Ÿ8[OZa^@@<:ح4m6DCFL֤nH,x"yLfiT]lu Sqdf*;}D1 */aԹU+sY$i&o"Qq` pyqlbx_r379_?\C_6_~5 %xP•Pt㨪C~qjRz&kVR'!=Q-',])067}Gk#OIw8 r3>yIꣽeP#,fmQ~lGv'jBяloᐘWyX̂RF=2AL ta]uw_g̨ SFE T8M$f?q\+ۚ_]U4򇕦bbՕ6zӖe۵9UZ<C PKmux*8wpfE芪y*aVy~h dN׉G vڽ[ݺ&6q]3$&CmC0|__MMvlq ~0`P5+5nӚK(ގkzdhx$vE$~M6j<1 g.%ڔ<-';ꁌNɚn7͆\HNJ&"ENY4謿LmZG^IXj;2{b %QGy3>;>Wo>TD^ ,ʱ CG=\Vtd=ҋNe' ǯh$7Ib,htۅ=5P^;90ʪHw! @I9 ׫B+8;_&+}OL=Ib]V*2SU|Ydfu!V\D/8muFZ|i>=HW x뢰벆`y%DtQAc\Lra kq\ƴʥ UC MҴ ܍FJ6-?EfJ҅9 мkt83[@u M ^<;ӹu!@+2nF5^Ѡ.b\&rʭ,YhFV9\#p5KO|P ~f変e9uS5Z/՛Wg}vbJ~?|IE"rD}׼L&JRTզkTBD>q ۮDMLM¡v67v}Y?vz7-7 'P }D̠rd Lq=hª# GTrD?) lޚHU;j0y%##.UTq5)rrfXWK˒53HϠQje_] %3~$[rȆZQǒ >9Em1 [%Âu3'gYwއ9DE| w;a~!C4mEwAoPo=sa ##RV M۟GoY{}piX@5xdpG?|5ڢ(#u"Pݍoux/s|LǫYO]%swٯ6]ZhU0jO7pk~#b.ܷ&0y?<Dm`%o賹 SZ gЖ m% PP }9Nū!:ױgYZf3e62b975ccdb0b70c4d001a664f7c7e102db8b40dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a