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  W- D&d;~5ju}徎R/ >r҉HwE v0(!+Xbo oG~%J:,LCD F&SwPOn ?0t"A5#W* Nl.+\bP"HK|dk&yн\э@~Knnrh^G fxڕ!_}՗Њoy;DZ20vYm%ԛ/r-%@ 1%̞&Amc)DźZ\93٬C\XP*[D&ݶa7m̃g.Nxd`m0u, 3<̰ECVMs?C2\shY %੟TX=B8nUGhpfR6n4D#NƁܯXUB`֊-{rLWrcŶt7bX8\ - Tarskis_Geometry<<8{x@L?F7X^ (l_g̱b1\z_s]W@.jTQ0.|,eJ`qNUp-:WJʥi/ mcLEf>Sqci) v{il,~VVLsQf[=ufegYZ7zXZִF! IX]ŗXiɟMr^&%HiI6$ wĄᅷa7`:3Q( Ve}ծGo zqy[䝜;JQ,:'\ 7{p|q3gy2C=O5K?WShhu gYZ7zXZִF!  ]ŗXi%93:glb&+fFܾ`Tr:4=rɊ@W~J05(TۑWJ$BFo}äf45S,~_t~{5SLjn5 7dž&25DV9 cąZjSh1;1 bZ2ndu*Mko"[n e9Kcr6W=#)."/cGuVH(O:}r,c,.5LߟIE˓>3ESD p(a V_܇ppǥs$jHZn:CT, d[vt!sfL? t^\*zspe"lvc{mQ ]B"Z/ƺvN.$B 5!U#wԑ4kj&9\" kϣpG0+yѶV42ӥH YlLbSёjƄLPZy0 ^H]DK3/ @˥ u%gT,&>_4e%K6EtqAJEg'? #g5D\yFf+@g} Y0D74,u!X-*r|{/{Q jMX)YG 6&̡_ɀur J3ֳĥ1wp7 "p"uJ,˦&w9fNBuO=Mi'ؽ޾Kɝ )ʞ:S)#E! 1uM*/ߨO JpBV_T^7q(d<^7/5pxWӑ 'O#+jo<L|=ʭ Ȉ2M#iTz~G (e0B?"zY)%5lZZJT$Js1R=<ǟ@Vx-.zY&,Ҧ>"hf%R؀6 D˅y%2zp`$d]a$Aģ8nYHZ難T )%UAmJfEwE7}̙iiyCŊh݋bLXj6Wzg/l΁W1Ձ|f_Z`"jЌ'A3JA:=U-٩U@Yo}/ƀhZԘj$Ӫ ~7ɑ꾞a9$FULv4Crʷ×\{vd'zohOE#@F5R3֯*Dsޅ# 81nL{e.#5j] E-5(_"0 hh%VG1_[= >+zɲF~|"XJVm`Q?؃LoHs zFg2O;߂eS 5ܵLJs/c|h6+/l +hėݤ f2Ixf: PfAP6v WrhZqaU~3*+iI3ʺq&WcrjQƞCV+dh$s;@"WV3Nm Zeҏ>yiZw_E\>lL*+s|E*N//] KwJs> %ݑJ0WpIW=xU/V0xԧCؘiP^:Q`,aL=9_ֺrĄD*@BMLt `E4n%')L5 t)J^% |ȮW"zr{lf0C7_~hC, Ce ˟b/ *p:r< gq:kFuTo7-  l/}O:~ߍ/R/{ CpX{ӡc∖&6j8>sT  ,d YS:7da0n(]ώʭf !NDaޖ-&lN&V:n!Hnҗ[=wValbVYb'&yVټRO4 ?e03 f, A%;(4@5p'nZqeCj\"XnFUx|61^:MZ+]2 $F0>%lc"!  r~b)UrNǒ=T,ڟ؛ 1EvƇBo\(2Avb)-EG=aECV 8?Q)bwxd Ip!f 6lP99i/b^K]髄(ʻ]άz‘ =R ) m|9HgB#fh[wtEoSZ {MF atu߶367a @8E&Z[cxN}?JK]܍Z,\]b(WPCPMe8~ф>9ԩ`e`5E}i[2By#^Z1 { 1:!r|`n;V($a Ó tO(AV5 KS }$1$`^_ο&0hU71-dx5;ӉMG9J<+zMt.e/UE $ڋ|x{Bc6ۭģ՘gYZdd10c22a71aa0874f0609f96d4747e270a9fb84ca86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 450c54405b003d6f4b7501021314e5f7abe09d76