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 Y#LL  PseudoHoops:threads=2elapsed=107.507cpu=142.804gc=4.436factor=1.337zXZִF! f/]ŗXf1-/6vR[3£ˎFW pR0l@5GDc7(p ܇P/)Ir)4_? uѷ۪LhUY߃ 9}1x >h`O&ԯDȸ')W&> xAh -;-5qe"Žl0H85|?9&f|f3\bt1<3s_Khmz{鈨8;+k1I#N:'V$C?ulKMh?z!TnbIU&*yM}6RXXH WŘy(HENlY,6|m4~6\D۔&M,(h(qoa/ƜI!svj!/,7ۼ#ɞ){eÿ'URcוH!0Z' B7Cp5NhT@R6}q"ī4,~UA&l5>j@I>ͦ9R*`% miAe;IA&FrO%5SsOPIz4[DO敪NX}EN ^I h1'Mn9 ~؝|8ˑ樟u0PcO='=θ`$u􊻫0"7β G8{3igR@*M6Přl#j}/|r@(yȧM:26ؗR8ܢ/A(g#POW|V?Џ2a$LsE%nCusoc1Z6?%xhuOsDNJzv'C`B Ŀ!StdܽW <2"R&|t=d5q߷0̎y홂.`B,vĥ;}k L<Ͻ2,0!޸H9KMpAD? ˝gKj9t ?q'"DgYZ7zXZִF! W]ŗXi%6uRyt.2H(϶@?;P/ ²BClt Tp$<>l]a.Y[ZߛU , pцb6܄cDAX&Ϛ&Y}%yS _Z϶RH7 :'K!D ڋvOQVkJ[pnPA7'̦ |Ezjjq|o҂ao7E0ucvUΎD"i>H{ i)KKx68xXeOGT{c? =wك$: Z3;>}r:P*]IMHh36Nga<|/,)V[e%? h8Ňe; 57jtM!1 gC=͍c{ B'wG S&bIq: Mɒ~9d}^t`&sGDX["x=Cʸ2iwrE$UYG޴,CF/=EYB`Ɖscd@X OtK+ ?W;c*ƻ֡V1xUc{}ejQ S NP|*9tQP)!ء5*!ƒ{LT>pBJCo S RkN6RcI>ƹgYz⚃^窴Tip`p\jgʚMeF?/nE.(> 2o'8l@ϳswG aMVMw4 MoRMNOv-[ 1 zn$/`z$w. ˳Mj.Aǧ.|քSe$x2ߚvp+|?C  &i^<IB_}>g?cuaCP (E=ScJm;믲@jj &I2gfV NhnbNfvn4by~=Q &{_cg h+:dET=fUG*E}1njdk2QQk'f P9Ւ=A1-PTs'ͫ ;te>}u&Cwߝ6t-Ht+|ޤIr;3[Jz΋La6]RUE # PseudoHoopsA R' .^FU 5dw7`މUfaCœRB$8]^-UwDYLٲHN]n/v'˗A6BJV]!ZJ?~WOkF5mrn~DԃFm#yVR3gsWK '+MY0 ^]~w+ e٦Kـ\\BWmna59ZVUƥt C=I %FCZ.XYNAz[ѱ&md=oN./o! ,\;2L(&v=@1ih~x Zu阯uB>hC1O`LX>_ ىQ2 BF^$b&g-A8]1nocܨ)lK^,4v} #~$aWst_aJ/Tl K58p̸sk/T3-WOp|ĶaMU-AKQ O:9Fˁ:C; rnq obٝd9 a!RaU \"'m׌ߓiHrZ'kyGz{?}ozOX[z|rHuvSR܎*c;zrʞm]Uj頞2^Q{Cyi͜W`9,\*Eevܯ];NR%k+b%NbϷǧC!4$bğc@ۀXXfROxp,cm7('[g^ (+3mX]ƒ*Gdߤlp}<bH#Gĸ$~V,j /]Y{( ױ1H4&i]A6n2VK8c-ʃ{4 gt%m1pGoXe[驩x˿v* 䖿VrٞA+Ӵճ4cl_%jw's9,3BCJ7*[](lF0_h:Mٞ=CD c$Gc0H3w D&}k軌P P!$UF:_2e`5m2YUEr5\}KFBN~Ƅ!8}ɷ_';!A$<_AڕW<*e[rCV/~x~?`:p:җ[أψg= >%_B|T\aZULES/'Hu6 Ǐ)J^s H #}'\HzcCLD/. jkcwɍ,{Ʋh7F( QCf nѫD`χp(rOB|͠Ā#B'bs6]T>R9$rtp%G5E).SCA: Ê+;Cj \7Hҏ8m砷;K#}de3c;?m!-!jXJȚCT/;_rBwLRO@r#x38Gumԝ(XLk]1ϱ_eS7`N#`$^7\Mp}}|y1$B{8 H0Yq--zmVwI-*?-V|7`+q yt'p!^xkmpWVTww ٫f7"WP΅UEy7&Z ,"ʣSe.ҨD+5G~Ȥy^=!B$MRҸM|m%Ϲ>\qu!FVB