SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  h- d| ] Tarskis_Geometry:threads=4elapsed=28.877cpu=103.240gc=3.784factor=3.587zXZִF! -]ŗXf1-q恈\T,rBV$--O:1XlҿuzVBDT})e>n-;BqI!a*ܽ'&j.^m+ahvHBuR2d2#xBKSv6\8ڵ}Dp-^YbZ. S4{⫋crv.BcF%3 2["?6T{Utr(n/\5ܨcB? 7Y&t$UM/n ŊBvVQUlϒػ=-CN\ [_BgYZ7zXZִF! Lj]ŗXiɟMr^&%HiI6$ wĄUCcQ#)̃G2ߘJ1]siVP!2dށ#D#C2j L a" \ޓHN=2N=Ӓ^#QP: 2dYэ#HvmM6dE,G"r9K;bqJ |SrI}Q7ś /%cIFN7u;H7ջ\˜I[ E00췳8^-*AORu2YPZcgFL"3KGa{$$A=8ҡMhYL,>(ƱgYZ7zXZִF!  x]ŗXi%Ge'?FgۏmHgƖe45!^FHT\x$U'SAj"PZ* Skv7# X! g PSo=($o9K嵒dˤ>_aBQ+2a )DMdק:?ҮcH4)N!`9N>w^C17 ,`DWLޯ|é/F*y_6|K>GRmzYP~J`Ӥ,Ve ^FK]*álpv*μ9?5 5-Ff_Ed9S~k@ӠwٮB{B8CTB2Lx/ m$1x Pa6W N֟biBB>g(||W$B0x5BmE 鞋2oUQ52\2' ئ,=m+ѣ訉+ŭ'@O=r]2!=\8s)̆ϧ.,{PFWMR- a(33)tȂ^]kd ]`x#!k؆s25|"Y1;;7"j [ < ЈH?xra5<$-NIhQʹ}ӑ*R]@ʬd٪Ԯlk.a;KR@o{e*0ڡߝ; ߼RS3Wu HNʞZ:^,=WE=w<7=h#P?'=i>/;&WlY'~~rQ &'rԃO,-"=eW b@}HTN'Wgvoa̺d펲K 8Ӭ˨[N:,z$EpWbi Eӹf*TI^!yHZRywG>3ONᴠe1& p\z%uX%DZV׸dIVܢZb p52VxC\M[֮<8&=Y"Ҧ Kj*{$myEñv pxΓVeݎckϫfj`I'NpcNBD@+I9jupU.H$v _" #׸.O~ uKG|6YA5;(3\xO*,LehޝRֻxrF~QL}kV˯H۝{teUkq g}n2.,rSmĩ1KܽəA|m*Ѷt/ގh#8<=! AKz$qgִ‚Tнws_4>-Q@!pXI .esΫvHf:[# Z=a5xg(FoрB`}7 An?:(`cv,ÿbeY'=`AE5=='g_ WhgNG!Cv8L,xCim "RcTDskzd35-o:kvM-/ìQt ~ ,88pdLἕ):LEC`N9!UTW0J^.dN  *rdg=&ApGdR ~kV}3)o>0m~:ТݖF`?<+BɚzY׋B7p$Rh !`zD՝r&mz"~`!k?s)1N-nxTH<}UgVFx:4P:fl9 $Ayqn<90d?ؗ:;A)/j &qJ7 <5j-gI,M5M\<!'=,aK ܇JzN^~::wԪ~0v*<6ymjZ"̵JD'5NXZ<],6ӿ*Zn5PD\%knCP=׹. X$ƭӺGkrT6e0$ć0 _Ʌ>ˍ%0̢Bw-9Q#N[n\@7K6g`x!b1r<uL| yk+OΦ֝bM[O.3c6jy\C6MwLA/_rסK%Rfqbx27bCuue,gYZc8b1f75e34ef9d6273821b2035cf507bc7d039f21795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 7b2e61ff0c86e069f55e46d35334d76ef1e809ac