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  ~| d ]m]Pre_BZ:threads=2elapsed=100.452cpu=170.148gc=10.600factor=1.697zXZִF! a ]ŗXf1-/6vRZCV4 JpۚF։}fj.gP -+e" g{Ln fAF]ǩ0Ё^kٷ!΍zflS,0~> 0W ':j k0DGɋ28};XO1wx` s+A*RߟmMo!*_*T'XA4RmD /YuD%dϙnMqB42ZL>瞊QW{C]:B o<8 nbIbO~=W ~9wšY-1~ ^嫯rRXԇL6 4W6*Pxah.?88څ#Uc?x`B d j]@wf  Ҍ94>MD@M(Xuih&@Ө]Ŋ!#2S+ۿ4*F^h'mkZbKS~*%+?ac5.c~kS}Uuxr|d De7[f&]-O^.ԡ;N8 ɩ@ }$ϡ<,J̱fZ]͏ں xE%6.JN6H1fq&s]9դ?v课oHg[woʎ ,^YAg|b̄7kh!EԸfx3[TYR|'a1+R #Dz/؃:{jߜf9_CJ8b9#I\|8SíSͬQj#eH+{ Y7l+Z")L D;y8`3GNang&$Ҟc_z.Bsc;?Iu{Ra?y$BqD9&=i>VXBΏ5MGEÒ9-lQ\-+Q}=J,lkA~A;7F26AO? 2H`(律8Tch"=9q3{c=;wm_~\L><۱Y?&G3U!3j&7h 5g6}E߶TG5c R 3&G_ڮy6{͑B"Ec 4x`36vQœ_?~f?ג݆KtȸŊ=O&^mKXS?xIhЫ ,5jg,WgYZ7zXZִF! Y]ŗXiɟ1e YSC,:_8PM(.R.7G>' ez:,fcl2ڎxrY RލHTm3/?Rqk[\XRh4q7b=V/ R60M!p3Lvg˚dhMXG(IM x^F)OP•/tB!iCl-[KK} =֬;ӜlO3(EǴ14UXMQf̋OiB }7 F>R(vnqfŤRU5^FgLm8 B#(ꄠNf-%gOH Il!u'cfxK W]WN8~ںSmGGC&B6+U8i UޛoKgYZ7zXZִF! 3l]ŗXi%8qUN/{#"њPs_cʤ"R?i<\=^צHl!~'΀Ny->P۪d!uHI,z$#(Jmďߠ њEz}}6-``A8zи]HFEd^'Y /`!\S!Jى+woA_s Qmu/ uF Յ$c]gYlK+3Jhifdl$%&(DW0 [ >7V6cpRc`Umr[U'P5E,˭T]Q v"\vTœ3q*9^Q5NC4= GJk}]\aN6VMG@N _ a.TE\<MOn#ң^?T) K=!{@t[<ʀșZ!(6xhls@kUoL {8J{g2#@zipq?6b*fD=h \ʅȤ1$)GSNi=7IKw柷["?G^08% D8 t2#d^Rs[roTFc 1077Ձ$ ߹nk`gA ߸0|?<4|e8`:2ul95uEս#3S3E¦6e .GykР`iDI^d&p p1>a]TӾTtM;:Q Éxc(R!p#֕2|$@Vjgj@/ѩxcp0xtվ~Dr-}ns3"P }hZC}٨/RLI\0{a ͩK9>7Mc$P!Wd= N.s+:Y+ShЩz$1-q pG^w.3mahך`d\M}˷w@ܖŊi^@6rJo&A`T LTExib&WæOхshGe !9>3G+"떀z8id_1š]jE8Wb6G^g4Gn4ʻu?|S?uukc|^K=ey]͖kVy PF2~&^#ct0~v + .D0~irJ>ͼ{>fVX'y6Ɯɡj}$QwKD#l7E`I$]ݞdRGVafu\,FVY@K$IOX5"CO>@W=J+oLG۸7~!a:+'9)cSs݁G-x@t|7k4Ab^ p Y?4DD E%fAOKB# `,BRY$\B"n4i7HJc6ꎇĄ 뫕 +\=mE,xR $Y+&asKL ~ۉ ONR+W,#}.65nz:l3E9Y,"~7xUl@fE˱'J;()j^55Ig96UO>4c XYB٦bZSD$=eѱʅ o{QziGQ-OrrMbGrB^kSN>]uk0Ռ1|l,Q)5 5M=]:UbWpHNHQ@+y[չTA_* *ٕIqR>QzVX]D7k ]r4΁ {gDCo^IJ{N%B2B Zr?A!wM q bI(j&-$x}H} w-5:Il$v4ǔ;SR]+v.X`$"bpɒHLw1/aMՓQV82DԃoP6shXd>'t;B$- k>qGhGڝ<(@{%URjQ4cx' 7L5aQh"؉ŽUI eG )r?ӎYXjG%?*˽~qJDuHtkNmH ~ -ԭpl}B_E bBI~%R;\W6.i"A, 'љ9Ɉ~iPx wϪ|h/D@f;3/i5mGTD=i"5A);@@;誌SzE VSLQOrC>}8X~W: Y;wQDpP*UN3mg)ݖ zpf%bG 6%4T+Zx;>Hz1ݰXB"4I=|^ii1D\(I ŝ**f4p_c|K2`4 )} р JjiH;zGR1wҺKWvCYX26,ЎΗjƓg\pGW>w& nVх ZI@:%fu-u%R nC%Mv\zVQ|A HWFQ݌7Uc!TZ( +7;7=kKI\zˈI# ;Ȑgi/x^n &&yvvkFB:`,8_ctF'#lɺ128LsHgP nMhO]Yן%އ_9!ڙe^c nXjO mSZujZ/o1z/2V7(N2UvcfY+A^'tj9[M.ț*{ %SndO匼2V#ASNf R#wّpQ@)xEF=WuJj`![g{'Ǩr:nRwP(͈ΐ%@Ft#u'XBK^ko$ȠN'fݴlIoKԊRgi[8V鼾e$3W'"tHw+OHdzZ.b C$s(~#W:c0:qWXhH'ubz,ehuaa5daŭ92NOIP>7ݾ@$TJ@g^1'PFN*>PLyL%LXy;' 4uZiHp3-T ؂%21aK  [s$zb5U.~xى*_kh܊@H\]j?k0 >*_?x=t*)luɘ