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 %Ld ] MSO_Examples:threads=2elapsed=67.546cpu=129.104gc=4.100factor=1.917zXZִF!  ]ŗXf1-/6vR[UWdT-]!"Cu"0Lm% QWp37JDLqqyXV7+_ 1"gpo-P7"%I <[.z_r||uy \LeKBgn e솨rv׮tm %}|q3$4^o[ih N{j8s?f&gYZ7zXZִF! |]ŗXiɟ % MSO_Examples1˦r*E$<Ћ *Έ'&`C.3cpRW 7]cNq%:^zҸFO YJb6Y> (5b8gYZ7zXZִF! 6 ]ŗXi%92INuMW Dmk_*T.ݖZLJά2yջq+CԓT.C)+!ĀnPE,Tj=5a3^픾D]s+VJk]|[ a Nr N NS)FZgu :Q&Nu.K箣[ XnsUXl`$oAuQG#|p'WyId,̱]7x(ٛJt w#V8P)>lN'ϫZsW!ʔ%Bty]2N,(4 H|8%킑D)цkI׃R֧(^{96/eB2r9t~ρB{a=r~hqԤQo~m/u\ bURO+ RUMhz*"z7>Y"2YNJ-PRSp7/RQ|ؽhGבJ ţy_*aBOP$wsk]G/Xޢ'7^va@˘[0C54?2Dg\*v{G*{ߙHԵ29qE?f[N現yi} Ee'^RY#C|zA~~ m>0cE"S fczf+T"ҲI Hx&T3V&@?ZԊ:e<'#>ەm^J; ΪeVR0Xܨ w'.y@32چ>>G L~ԂLiR <ܛF6Kw_ʎ0˰Zno/Zc뻎#} <Ԑ` 4+:&.x:،2eKR4saA\Zqcy(J7G9˟ C>bwW7z =-v9G$C{;#Q㠓JHx!Ya~#hԌPk;6Z4`euSw ^TXxWU:h- L⍠ىE̜*+kڐky) e% vv|#\@o)?06ӕr`\)v n/v6ʾ¡dg!cIE~ʦƆݧA Q?̾82!bY[uO*~vxO`l> :mѠ:-. JFD+|_L;)Ў'*X(':i~]/y{ w=}*x5k xgz-&, au:$CﳷAG(6:`^or#\2RaWXۺ~N,l ؏$so`"1].̦,%͈+ScTW#J*4խl>KQf zNec m!b(,pF,dbz]RUqP2f*#xI&^t QLH;Y ^Tu. 9;UEZjI|LEP15~xsе!3)l>)23VUf˃2wzH)?> e ֫WȕR y+衯,8uFu{+xCVèOc/.-RcbuZL9K%/ZK:n땻!+CCJ:$@bF.ũl %I1G6"ŗ~j-!9~8QU8 `?؊D/(,y ߵV[c[ !JmߠE{]'&=2F ;im79JfFpY?Hx*ȿ J7H 엇M4fѭmWhMgoE;PLlG4kF}ߍ"+RA\9O0.Yq&E$n$P3n\PZYp*v·mZ@-, .\Υ9Joz:Lm*-v% TJGhnRO BUO8v&M]*C ̠Jx\jl+* |@\m€0_FCbQW鲧\7!PCW|5bdnObjBÁo&9C*оިlFXǮX՗`uOW`=kܨXp2UcJo.=~i4?J3(G` %p}nS̿Xwe[|V[JfQz-gYc[ y i"KچFy@՞4ֹr8?g&Z8Q[ӱG46Esyh}gp%f67#8mI+[I02t-ۓJ/1ۣyB9x okk#^byYLӳBIQ4/ S~8 ;V =@4Qlm` S׌YFeٵ8)4w:iSʉ㯒6Cdbog؟RXjhч6QǢEk |(YFD9]_&x˅CB^KaZ3g|&G s](]N:[]gYZ786cff7912381f038a6b5bc7be736f4998d8e3f0bc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77 acca34a17ceea1909c92d949627d508b3fae00e1