SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  u!l gw Call_Arity:threads=2elapsed=85.097cpu=151.736gc=6.996factor=1.787zXZִF! M]ŗXf1-/6vRZy_:8/ on6's25J=X ,rVgz:K./י G'SkNXdžn'6QҲP.Faz4<;bFiDn- ['`Nk*o߽m+L;QzRY*ҙ(- 0qHc F( "6~V{['i{x+O}`N-#Ó9Jwذ .jkЊ"{k D\,DrԡOZL*HE iCT-oObDo8\( si؅b}D;:cw˗ܓNoƽwO7iǥ:~3?$fKi*w5d OT9׾Sɏ*`]0~CM=EՔ# <(Ŝ/% է P+4l84Y6إ;CfX.N֘Cە:}3p*ԋ r#ܭGW K l&8m,])Mqw5u7Zɕa=  Uuu(-I=Zuc"A80:oRc x# G8"$-Rv*:<|m]aN!7l77x0 <% ifrݔPQ4KrkdF3)mUT7cXLOXTƜ1Sy_^8R}7 n/ogwpצ(Djt74@MDip4dՃ6Fv+*a6+>L/<=ҙ1ZŭxQB°$7Rõ/P6ٹ$%)ݠzCtͧڔx%p_\$v݌g,s .;U6'jc+E{@-wXŽC%Ζ:NS(zΧiv#uMd+! PH'en : nTS~)6t۷Հ  ! Call_Aritys[MEDQFB~J}YM\"Q,\*[CY )vm/xn"5Eێ&t|c"eTY5TP3M[Gߛh)q-QN$0 ۗ}tBJ络`]pKlcĤ`̝"tpwO6(mٌ= nnrh=>Z4Ѩ8ОPlʩ~*҇)Mڴr:9".T]s. _)ّ% &@G CMYD<|ߕ z0 H7]&"\s$;jL w%0ʎX8yva58bY˹<V@l xf݅ cUmQiSWʡ\ς|,mӃ*Q 'fv Bn6} mq@2\P bPX!rE'D߽_Qچu4U9=h L.ȹi^7s87C B^4= PT///3. )W X>bԛD6gYZ7zXZִF! ᢌ]ŗXi%6$gɇZEߗ{^)vjз$]Zo)hF( NXAQs]aW~nJLD50!$`0b jh.o1 /d81Fm5)*PZRW?ņ5DrYZVo&zIGdAR;_H;1wW,SRB 4 a*n,"[』7kqvW,8 υ eW,S@F`S6:@9B4?Ogwe2낟B]HI^og3Le.L1{7r{e?e>μ~;0NSt&:6 y$π1_᧭CJM"tmg-{$ Pݦ#C_*GGeUƭt <]aN匇Ͽ@ Ao&2I&Qm vEJ9,>tڍy^LA71/@pxg\2 >Ɲ<WwF!ΗA֒Vʟ4طÀ~eaAGsh ' q5O'Wo<< |{$]j uqs }#c{.͂> [GortU v_z\۴4Gt[Cӹb#]j] Ӣ}/2ϫ7*@]t,I'/{K'̧%҄Ola`uEC^[SG;U3mڅhߐX%$8nDtjV %GQn. :gjoe}!P<]*~QrȚ&6@Y{c Mn3d'XZ$ S-A<[yFP+;="jEΟktqmߺSI@P,OhR(TNM$Nd8;G}CI*r+Rfj_ ȯ+B T^[{o>y'#c,;&=! q/v2VW?3J}9i?}08OC)C.6#Qڄi4!EԚhOr6݄[g./IVS!L}a^K0쳽00f5pϷj}J8qi'aIhĜBrXИi\cH7בR-EJ-1 g8yDR*pNEGX  = r${Ws6;+k/C#L^ J*\åU݅Vօ-%ܸYp^,?O8$m !CIU墱s\2Fݏo~LhIr$]/!Ɉ P?i%q{ )~VcZ)6'nÿ;b@Z|} ;=] [M^y<<$DAK;Chj*Eo Xļ*Z$ OiM-;)"%v^Nd2 /o l@Bd[B׼LQeٗ.^ D;4}eȦ~]GTZ&~^U;ÿFWcmYM \w0h6hX+ \"M'* ;4@ {q?+XGR'-H9V%Ty)1,;yrw_D$MX4…Ğj5h(N,%7z"o.+'Vc,J}4:*}OԳ#aQz_@aWLU:hL1支t=H= h/j+ >0x-'ԈH7d.I<y&Im~53%`5L-|.Jue6]rޭ^x\ÄgM?u}H9&C񳻒Rhi?4 a?9| Ӵh ;&^!ygvZdcz%A C~TN55A3Yi4b|? K No8q_Gg:%%El1b2eIԏrɄPiu^f@Dlsp *=sr@M 5@NH^й=N\5;<&%jo˥mfo KxCqORTzjJBv;:Nk.wZSIF׭J/9~?3 %aիW3n.z,oKίf;''m.Ɯ& G9ް㻃 D:"GͰ'ǖcS0!˯ -lR 7иov=OKoi L]"Ց}ƣ?àjj~$\\~RYMrʝ(jdDd?r|\& v -a'|`"vSl}4TuLnwp4Vo5hX%,9̓,MZOgۤ40nYr[ӿa:QSEk )29Ԧ%&@^j kzr.!-]7JbQKKxߤGdHH|^HNgCfz@+,a+]40P+󆥶j=| Uv2!h_x)[F9936ѽƴ5 P7W7\)mK z |vu2f^yAFX}w,O}W fzSg8da0[7ْp`EJA)wl"%Oa6*oXv̓lh!a*glt?*. Pf5ݮ1@_pҺNA |qblz3:W2lˉznl&9p0%x 'aav;+_fńSek{k_Mg29HNx}jd!Nɖ(:ojh3;2ԔGp@׻ @jkId2IZ 튭;y{E((t7@诰mMǐbq!ƭjKŢ&}}ƌҡj2eq'8v: G_dd/aT}|W>-goGÿ ^ [执5%`GN6H:DI*9'c2q]щ,T.`@L!&/4%feu\)tջsn*ZM936bG5 $7Sm85E