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  [- tD ] Tarskis_Geometry:threads=2elapsed=52.322cpu=92.472gc=3.680factor=1.777zXZִF! ?]ŗXf1-q恈\T,rBV$--O:1XlҿuzVv_[Ja Ze/^QWZ> euϖz'A1 S{5CT_Edq6~iMgoL`K$]Ͷ"+[D 7G,CvהFi$5W T`Ї/>Qة-Wrv߻f9>gSIC`rx ]gBrsUGi֩pעOW)l<5 sO~mul{x_@4.óc~-% K'M4g- ^R2/*v26c`&yzoŔoʫ:+t$SrN׋T'+[KLRKuG}~,BN<#7ߒ;ѷi27=[Մpl>NFt8FA0J-9B`ߛ΁҄2Ogֱ[ͻt*%܍FjlެY$ mf9p!|=85Ǘ =3S׉bodܚqaXvw~$H]sw\iFŘ"̧9IyƓC=9֥BfG7A 3O`륍 ㄉƦ6giEc :&]4$R/Wxp^ݨUy1Kٖ@jgYZ7zXZִF! I[]ŗXiɟMr^&%HiI6$ wĄ\.^=!.<î7,e[e<|&c%l$_<9I#C^GG[3f5Y[@֨Ф~̯͂Cx^9E 57V-4ery|O B`WXwq7I4`Sd{V&3QehF@9W&}1ANذ?*,F yw+\OrVm|0X 8~ݎHܯeՀZ |al9wUͭ;HVwԢg}`Gjj.buE*ᦱgYZ7zXZִF! V ]ŗXi%;Ÿeqs89ةM8X6(GHo+$&W؟Yő5Jkb~/]9# StRMug]1yu5zT0*gϚ }mS 㾈fmCGn7Bxϧ̪ڝB^Ju<_YŒ*QF"4Ni۹7za7JkղfMVF,~ʊK:hQ N1^MY7x#\*[;h͔zkҜf]Y&-CYm<^V λ0}?]PA*oPHdBWyK4I~<[Ezrע Sm>>zDX=G2amqӽ7H$q^lp6{ 1%Ͻ;_ kVzc'h̨Lޡty|W\QױC7WH!2r@O;r7Jb~ iYn#:&;:(_yLB ACol mlD ~qaO.{>"7}Mܷ? /VrJHPVaK(eB>w@>TD˘MSχ&\ʆ;rhbu$7pq_k.Oeqrm,$#GKP|E6:_9H8̍ugŤ% =9 @.$ﻛ$tြ"񱲶}WZ_CC]ЃOT+Cx([ϯ.VFf'I-^ù713`&xTXpF? a-8TEѼ~` Z-GCVĩ(y`<4X+PUcj f%vgcuh Tr~PEHOk(R#5Ԥj䦬Kc%}(q-4֫/̰ rC[!S||5|? z~UШ' "CmB6P99 $XBLJ}?l<_/ie[N#ej( U nt{Pr+Vt>qy/>TKtZBNҍ>C\B{IAHyC#V$Ɩ:yށ TB #֒g(!X.L² *fu,[pm-4B 2E1(e$] 5;R%u+RdYO_"b-ƣ9dK*PT,鮢Z(Gf")#?/S ڢ"b&a8^6>jK-g6W3Ls^r:Ux<24g YF(Y ,n0&pJ4 V36^(4 <{Sl5dk~" !Q &xv$M7mA8Z1[ڡ4 ;^ll1c " DK%p~eǛd.z&#IJnk37 &#OdthN9kF`Ҟ0ˠy#Xkx8x9KDd{tYj5;d@5Bٲݲ.4w&^Uپ4`4=c [:L.<`Bk,ĕ- ]'œ^ϫm Rq ST!D`=5eyd> ?B?{v@|KFs͸x!|J:I7V|NjV@ UE͒Xs%N33Q=rn`ߒ~":PK Q;..3b'‚3W|}]ONȩk+PJvL"4d`&%-h9ḃh߉ȴ{Jr ^0d`vG?PdMTbz0d-2jY}\0A7^6d_܌ƲG|{X:fNUtYҕ>,ڣJ\ Jjs6,lIMRՁh5-y|]^^͆;Fl]T/s[oOۈ9Дʔ3\vC"C+w3itw=,:+Vy0@ꯔK6aOM[t0|d93Wꯈ2q 9n,_i˖ JpL,`"4afp N|p?˱6rY'^*SG%.p+ٌD{(^,q1G:1 ^Vc[:4MN$j1^erUiẍr4,ӞC `j(ηY?+JD n:[h6B]j^x[K#3R"!IL<8RAh*6 x6QpSw\[MY-ȸbM%7'@-t2Z"Z Pæl\y~RVus@{#GC=TE BrZkt,[+0C<1cqy.XPxY&/(Kl^QQݴ56ho@2T\ꮅA6gKh7i_z)> P-} NoҗvүS6qvמOgYZ80a4e6ce5a4729c2c3d4355a6caaba44f8a256f179d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 197ef942efe1b520e57810c9e607ada8b7573cc3