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  7 76'|D 'w Markov_Models:threads=2elapsed=139.222cpu=242.024gc=11.304factor=1.747zXZִF! @ 5]ŗXf1-/6vRZVݓ_e*E;.`ub1!ڏ/3} q6j8F6F=B}|9gFު"!I^.V[._tʟJv=I98.YȠɈG ku(Fvˬ8@^‰ %VR :d }q^fErrq|~}"7Ċjg UnuG)^Wu Kb:I )\6Z`a6tFCOCOA:h ơ$F07c^8"Oo>T9$ } WQx?* h_r3w+么j,] okE$^=! Q' ك&&Ӏ#mBW(c:\ŕuЛ)ėR뮹@f5P IqVSpg;r+Mw Knҭa|EnE{N Q΋Ev߃cT=ݨD-=H''l5|Rrcfm8]UV\Нi;pb K@q$\O"j`rT*| ϧ.p O7cZVb9>026¯ɂ,#oqKS/M8MZ{KK15`U;pq?Qm >XKm%](J8}Ƕ0pR9`dM?FH.bi;ڄ:H/f,;4jCqʃChJS (r(j_2e2jH~qQX _`K&8 5j.2Ifb&&$U#)#hC1||S IXCyrH?xr*.C%~ Ӻ=~B}8;ϔE@MHTxAz/DEV7K-<š4;7τ@ Z .k0skF+ ݆#uiIs6%+`/$csy/xnf6DrHߖlL EE9#1mlըnP"wlsVf?dq7X6h6cS©}_)fRФΉU}qc _jc!1 Cω>)HAfcvK%6\y=mNM o#L*LH1K]ќ~Zk@^66EJLmdf)MVeڰI5 wsj ;B~BMN d S^ 6 22҆FŝF7,Y/Ѵd{:Ѽ){4}aM7#$1WCOAq1l|OwǑ& DZ ڋ+zѴؔ雳P=נ?DYw~,ìg/=N `6{>7Q\mbĢWԅł!HTA"꾭%[p$MBbMn>&^&j $?OӀmhn(cBM*j9ePoSy,ggݢ89Mh{gM*(e]<"2I|.[\{7[I+c*Y!؀vmzĝ0m#Z9K=j "3㜹<+3wLt' [x,^Em ZC36iNU@֦\dXL2 uZZC틪U%@Úzg9+n`9aFe1b{ M8>e o97:ǖj3%3$1jD( OcnӬsSX8f0";}rzZp?Ey5Y J&N=PػXoyuH@I(ДNI$&ͩ%U`S690?I=Ч-:dəUEŰ Ѻͷ5i> 0(YŇN:{9ڔyEI2| my0=7+8-$O}\ъm*T6fli_W? B @yᅽ.de, ܿl飆2nJg[#oPϲg GvL>7gK!oXkf2:V3Mh-K2T=@v@`d{9ˇ |"F?Q:Zs+9J6n`}vkS* øW!ĈHDrʢWiy ]͖ #9 " كJ"gd!Em0dw*niݭ+؎2Vm:yѪX+{S&Xwg!"2trؽϗҿ0mcEF {$qH#[nS5$Yx5% 5#c[4Pkk~!ЀXB;F%\ODN?3^Ovj]>7.$ӂ˸`~PB e-lbRä7!.aw2!p+<ćZ8ɜD#s nj/#M}Yb, Xw^b'hᛔcLlgTVӄ}4՗)g_ &,gݬ~4>~]j9ό6 2iÈsFf)ϭCWd |C~]`$r\f_CM4KxGkظ /۫Ix ܶKĪPD`:sJ8k؀U)6Z9oLxF:QjeKw ,AĒsɌ\dK08Y? GRi y}x#Όx#KV8ڈܠQ/%8޻*-LDZ>:=H+}wqD&nT(2 R d7Ж.,Hcr0_%;p"jjY" 6NIC3IBgyNk% obB r-hF&$iPplmL)D,{qxKuIR1Ӝ\P X/n;Ełߔ9GUGb# $lt xv֒i䉲3/W)5TA!-\#0k@ҥM^Č}$ $'6T:lj =B+D>Ey6M `$x3܂l1~{G ͊ F D &3[ۆ vjk)uoܓ HI2g [)W]1^rBk.vRA dpi2 Bڽ"2\>N$rVFX̆xVi,n/a 8yIяvҭúV7Fѳw%G|Z.B2CZiSntW5bl}ഖbНK)%#U~2خ%D28P8 աƑ`K܎B ư&PL2_BbSvv:E;c5Ӳze=-^jȃ_!Otd6QcݒT A Vvֈg Gԏ/ur~n4B6ՑzѫNrąaёdY ՘c$ #lNYHSl86]. i%o{;"B+'*v 7Htdcy1fFWfP@a1.@ |$`fr _h U2qO+d\PݽY_֟-J…$q[`Wޘn6n+tULXq1.?ݎ,/~lvvG, ҥo{$_xDomkUB=gE .{ˆ5Tlafs =>Oe4;oLA)o:1;$ZfٙafzjwFx"M* Ìy OsO&xCby9[YKphM:~Tjf`OE  6}]F=J Y;3n 9"x鐷?bk;}ўHt f@vG۩$ڎFhz;ndlCQ(񵸾<l(1p*^)`kt*BR#yAҧM#ܢ1^YvP>, <0) $ؘ2!(w/jv-}cvRψqkb- 09~±!#SwO׊G#%ՉvI<ʇb 8݂nNl@ hK߹a ;Zu6^qa,$ N= x-gYZ1054f1033d4918cca91cd760cf483936d25b99f6 10be27796c420cc38705a675baab996565be8c16 11289afb6dfbc4468a09cf70d669980d34573ad6 149830d3f567713c7e37754e9c771415c664d5d8 1874a0cc34a6a9879924440656ebf79447d8da6d 1b3639e3f90fdb7b82f1fda5d2a25881abdfc257 1be20c843be2fdf9ee1e5f29f5e3eae3a4f06960 2454a9159a5b1838d120c97cdf872c83ad01a873 30bd00c4dfab265592490855474007330672fdee 327ddf7d3401b8a97b4ab12f6f809fe497c22c04 37ef7cc5dd17f581f737830809b850cbb6a57753 3adea1249b1658ae1d6b2df875ac07a29d9c8d5a 4c7122007bad6d212380bd173234b216d5e684f0 52af50f1a7ef11cf0700b550f46948c3c45c3edb 57b92a49916d73535bb433e148ec54d88a69caea 6507797ebc5958dd053e7e1430c08c8d9490dc48 653880ad141e0c92fdef459cd57fe478e700c2ec 6a5b3f1fb2f271c8aa949c2981436598420cba8b 927bea5d85c504c0495f639b096a8a74ca9544ef 928f12ab4885fa77624e01d299dd22f40b22acf0 93e5eaa85ddeecdb099d0a9340f1d4d8f2b92789 b9748fdfbc863924b176bc1e60b1ee44b6e1704e bb2b86d2923283d1a89525aeb2c65c3ee8b768df cf230baf1f3421bd8edc0c105b6147a06527a525 d0d2bdcbdab7fedcfa8466930b04a30923f57019 d581543f7935f1f8f097e33db8bfd26157c86074 de9b3537e2fc56f3e2f6e84ba7d395122207b30f ef3bf71fad1824b9b2867019a1012b86f0ddb159 fa5087dc410bc19b10e475c8eaef9ddf20cc7905 fa5ff0fc97defb19ed05eb041455309527dc66b6735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95 86e95bb3182356f659f9dccb3c8075066387911f bf6c8eb6904ee70fa70efa8c3b57869887e97ece