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 3 tD< ]S]Applicative_Lifting:threads=2elapsed=34.598cpu=57.968gc=3.580factor=1.687zXZִF! h4]ŗXf1-/6vRZ]^IuL` l^ϚW hxk$_I^H1c{A^m[s0Q+6HuH"#zDt}lOF/enS~8d| 쉅!@˛|]&R=*#PHľDHm8WhR}:'lӤՆ ^ ␤/x'Uc|>I7}ρ f/k1lPoۇV-0~6'@oW˹mO 5K0%Eks^lp8̌9D0;0Kw6UbUIj4 3 Applicative_LiftingZI!jHr/[ea+ 0+p0 B+>'K?xLA]gTZ[iל)2?(69sہm`l:ajr`Q%GԂ2t#:uBX0L5gbTk xAVchrѶgu*{~+ZN\ak&'7>x;'bӹE?mJ>Z˿8*7\uOfT7߆\9ÆȢq_un0/Q UiadJ8=ty3.M- WzߤȐlNy%#A3,plCeW9F0h3vP$o:hQUFcnYRn4@K}Fw1Uɼ,d ıgYZ7zXZִF! @]ŗXiɟ*Q?rͿY!?ID(@[YJbn9c/%`X]}HFNPڇ_pJ< W~Q=u nj) ΀.0VW~C|MEoa$6o5HXS$G~~ q1-GV :Nr,p z: ďS prGY$~Eo#3 sGuH@3~d:P8,*򡑪rJ@lM'Gty374GQ'Q}5GŽ\5+ʼn/a\-zWi=u ^S[r}m]*y\I$? xo j?#r= : NiAA-=-H—>fK 1!I)-QenB܀6zD%MrEl.nZᲷĘo A}WrfP/i6W8 (,gK;[+ ѐy-{`EI ~MKKOezn(#бgYZ7zXZִF! ஊ]ŗXi%r~쨄"oq/ ׆% C|T`Sr)(rZB4IǢ=KjӶᒘw3hr02h`MI_t"R3"Ʊ?F_j[gnE0 YSv`%fZ7Vm7,,ݪ4SIó(@n"kSo~QBI,4Fm[SXDTl A0#~ҭ5wX[9MקTWط292)$\إb W˳>[[yekz~: jn?ptÐHii]r&ܜ^ot6l ''¤nXANkN͑AV@@#!ܫ,&O&)GLFɴو.∆]%%lS@G[E|o6l24Gc1͌\Lix,pjg\w29EOO~ԚL-ȁK?rΘ^+Ŏ )2Z%-(-7t%]=b=籖35$A,rZ,G2Y1P2><#}z\4/|ÊB}?$ѯq?8D)>G~T+v -:#P!\<`>A*1Ԥ+%2 Us#]寖 &TLW,l%jWe<]e n<(*Cf_.2Fhqt99iC7`9Jz]AӦ1ITiVTV9%eIFCW Sv!-I&NnTkc5Xp~ kkҤAtx=mx !N} xz"}kH+O8tv"р fqmOM'[02HMJNߔxȦ%ܲ݉lj?l99KN ܠ#rq X<хb,G jS+RYm?I }sbp-zL.,sOwOUXV-.u67#>Sw9hrkhrҴunԲNSaM5-@m?v~,8 mxr,F 2Ev:mڼG46˯MA9 'Q,Ij&"m9a4b8Ϗ K a֦{C%ZQόimPCGN5CƳ3΢6~&J (L˶!rzn#Ξ 2<؝\zR scae<|)N 8Dsu/]Z?/kR!rZ=7@᭳Mą%ɉC4*eu/Bc}ͭwX.n21 ]V1=`[B%Wq_%asӒۀTS95FH@|%[ tֱ x|;N{ ż}|::Qjf֊\'_IOD UD擑.~I@/ \V? TGBm_J_UJ[AY߻#^/=# I}X `*cԑ!Yƒ5%9!a|ʗ6ר" CkYG$17TD$+=־Uv"1K{[c:<ȹ'R9, \%$ag.oSZsBgdŜlò7$-eN^ "ANvߌ20iQPB!i-s"**էy