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 #t<\ ]S]HOL-Algebra:threads=2elapsed=74.133cpu=134.052gc=15.192factor=1.817zXZִF! @v]ŗXf1-q恈\T,rBV$--O:1XlҿuzVv_[Ja Z@DB&`b`8byxKFmHI >58Z`0hg1DL C_f1m4"BpqÍ/̫&T'{'3ȡaڲ4=E0ãk"OKͪ!hζbGe6"_/WۍV g=:qewhlKіk$iY^A[5荍ڴDԭJ:>쬸1kZ(iCCU[^RU{ kާM_7SR]@267\NL CB_~+LRO֌i4,nEOƳnJ?eӃ(HHyf| g%ثZV7aCׯ۳v'a3h3 /':4%:}Kܧ ŶKoFՠ~ucnuUvH5[™gwmtfM*W\SfQXSdgKvPC?_3C0pӷݽץ˘T@BG_p=iyf{Ȇ%l?(>k;n]Т1ıd @\͒Q7=]İjwzz*aH6nQM-1T')Md 21‰ +87v}(`E݉ZÜxA2%qs;j4 sTrez>_΢`5ũ/ $Z5#;^& 9S_@,f[#u>N?cݙ)َn1?ߨi k%25Wwsɽ-aIQedF׎գNJ~tJI&8]ڧ7-YVBZ9%7f/ #pNr٪ ~X9A\rE [g|ӸbMӸRO5Q\;4o,W>9kl(+Q5‹Ȑ1Z98Y[}+rZI.Nƛtj";؇Y"mdfljҕ$CϡA ܷ>\焈yEn">N&io}:׬{$GpC9؅앩+uNSwk{$UqhDtHzH:&. PS! - vAM},+v/GIwKyC >9#8`Zf4o~0I6ջ~l1n]W{<4A(1pH.}}D196kr9bѾ<ϯ!uzl=_6L~ɂ*(6 G{r!Z C#Ʈt~k}P~Af`P \6${ tuh@kC6!WD\^ q/w'҈D +菿-ԐiR&#d2RHFE"8GQJM(.D:0 ո!.?Ɲr3Q I;"UqқITۍ Ho5/A;ƭbƨ깑aMLzUL +NxJ/j! vI(npgYZ7zXZִF! ]ŗXiɟ1`?#DaCu8fIU%l+h-5^$T\ղNkT 6(lH-FCAinf@pL?45GyQ}O ~YfL}9g?3rGί8N%ͷu|iyWhч)מЈ  fw?I4 e"(؛R O 1г׫J)Iˍd 4Gtp:S%D=| EQO:,=l6N}yN]r"~!Dגηg b'*:;G.Ɵl"߫C3"Q%vPspq3z 2͇SFyk&2XpJh6΢Yߓ-ɔYo l sݱgYZ7zXZִF! Y&]ŗXi%;c$㿚̩ǰ5Lc$_O@^5mKNxcꐴ:Kլ:{ҌQ;%ڔ?C-WY Xa]/.{&=+mna~> JG س` wq07baHa:{S(^&MRJM6k# e(7ywP^7^7jsLc޻b& !Шc;M챢;dy"p![wͱT8+֗=#H3[۪66Y0FК<]A۴6APܘ$@"Z pM "RBQsLomX7n FGh ȗbM+rmgB%^5D sA>¬w1J3.'S22BjcKN's::ԯ6`2ӓiph@Eٱ%>?!# Vq"1-=.T_Pst1>==`VAGcdGld8qI/loExTD k =Zq<~ x,P$уJ˲-Xek*tݻPH~F"Ԯ'uhI"/3Inז1j<2{hSs #`'ȶGGvW'>z&Ek,b-*T}_&s ;Ȍ]Vƒ䖼P cwSiF?W/_EE]j,Df[>Zvn[^fG߱R#VlgG@Icn#] OXox?{ ΡQ߬Emb*AEzg >~Ψ 2Ollȷ|(x]vH0Xm0 |mE [^|[l3CRW1L Յ?_*A/BF˂Aے͔sSD t҃СB)oY)Dͧ/N+N2~2ȟ%3&sߗںŶlLUNmIrY=P~H&A54\rsݒXKujKg-GTlRx?ğ;e9RP}W45B }(?&?9cJK(_C頥Ͻp`@nQ +`#1ߚ7OipG ]Fs<Z^/ìj/ 7;V#)v2oE]1|;*F)L8[l弖*vTb&%- ޔs1m9c0-.gʰKs:5vU>5zŀzpcQ&gB3u>g%NR& gbN'ϸUx.(ߌjOx*95$x-F 4&=8ܯK[ v8)f/wW[D0 @guճ x&-9u:H I2%_^"{"y{>VcUA@sTu#B40~/Yҭ>r,g=)Y忏+ݴԠKMXk)+If%M.wAuwr-cjm$&Kzm=c 4w,"ۡu-bSp F.0@nɟ$a֜,RڨNӬVis|I|Ơ'UҀbЩ2!齣Ym4_-2+[#r]3[GcLE4"[_Xa!mqB*XG"L[!ޤ 2%Ϋ/}Sœ,bD|II"R x0GFBwhr16s-bzs;$YWXyш\"7(`-WA7Kgy$GJl~43m#2ìG6x֧o(C=}#{_϶rm84_>ke;VGU\vt%}?5['9'<ѤKc`@ɗJp'D?CpN'%||Ѣkա0 HgFCwN9Z%CbR"Ѳu!q 6uS;5YQCdkk9Pe嵲ut;W2-;fs'Յ哟A _Gg$ڍжВ