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 ZZ- L +% Tarskis_Geometry:threads=2elapsed=53.861cpu=98.784gc=3.812factor=1.837zXZִF! }]ŗXf1-q恈\T,rBV$--O:1XlҿuzVdtVBBq̹G[D+;_+LhKs>@@ #G#*Z#ʢy԰# L)z~6e+VxI-!K =#IRqp T1KsA凧\AK,@(dA(~%|h\)Oxośy>}w+Z=S|u^kuN̦Dh/Vj+Pp]rڃU`KW.B,јoJ'aBi2jC =Bԥ&)xI!}]sp*c;8^D(,9> Z62+!C= 6Ő N ^Vg&[ވt܌TVđK s@tށ٧F2q@Aw(]ێf%]w݉Gf2GTumCh hUz;Z(vlR%@@3( $`(pfgM,@V?.(0Az9b)6nBnĪ<= }7?LK B6ՍKA]{ v ^W %`*/:5tXF#*~wŰJU K,(㻟[HQ_. ݙwWT|M 9?# #s|mJ8nSzPnRԃg98c=1HKuD$ۖ*D2k5e|dǡ|!ɧ ==u: tZ2u'75T>WCmzBL ݐTH/}ku#&#jvƌƾ$Ø>)+g܎yNd̏3o2K]+z ^мY~AI纵 =N;ST zN%. Qai2 BҗMNG?&?`?8{vP޿IYWs D)pAÂKYat:3RAOY}z!mD##A~NLK~l%08jJfk*J细$ 0"c'W}1}9$y@ i (gRKdGoy{3Lؒ uD`P>OBSMYyC R>;IfY'T\s/QiL+wӽPlfb wE}v-eBmxfIz$AiB/44f/oRy :^\3Inv)‹say;L=o‚u.!X:_'_gUb~{#[m9[>$ F8Lstwou7QP536ycX]Y"PYE(xľv!ey> >}B3e% Q'n7)6QgJw[>Ptn"xi#3uZ.H|4j>;?棄qaz6c$5}LH*GŽV dGF/pacA U}a4 ʫ f|(V%;Yq`w{+A9FlεD6HL^g 3OlɚF<)QxMLAu2foMa@H q0&N 2ߎ B@`4fPƲTAۼNCś:tOf@ }csΤUG;iq&ҢdQ - Tarskis_Geometry8,28XAhQˈdUȪBe| _D2!)fѫ"SH6g .Z $g'!PYC?в)Ӱv256/)R_o՜o)D2c@4c@!y %n=K44" NrU?J_o0d*z(*zg mɲ:[mxb\/3DlZ7oFV`_B:><8zMǸj@>}+ bĀz6w擓*)RG1+M }=B(>/r28@Q)h0ཫ#՜pBg}E7;f$h5cxs3vdylm6M>S9kW4glb6U)t}rZBpv_gcP{kN1$8P絈l7ٌxۙX2ͧ_ᗅp&Ȳ^d2g5w 8I/ڌhf*E4ʐa_pL"vvz}ݾ ~ֵʛV瑈v, uBH|%XưSAa=/hS Ka[0{ib68ՉMH ܌ƙ sJR .>N JKdOke'Vۯmu'BSAŠ,M%T NJ'WQI2Sk~ȘIyr ښOY%[zn&r>Jin*GV.Oyk;;D!A=Fv_]<u@+J;Faf-ׄZh.64ȵJ#LyQ>hjMЄ`saIF^Jx!u2=$Vi7Ic22i'bPa]<ܖMfWb|dDu0yvlH[Xngzah AZg}l+u1'r oDs"Is;)6ǜ@L[|`-Xҷx0s2Ӣ@8=:Й 2VOT`}chDb 1czԋ[2iVh 9DgUd7ֵޣvvCs8zPϹy3 ]3)! 'V6&Z&o JWѬILF>cUo! ,9侭="W|sU*){͇C<>ÌIrn1ui<{#oIeƩ#sW((豜/#8|per9 %,|q^dPԹs=-_D2m-y^3$e> \cy%fzBiZ0|< XS-"&BPR/@V?gKdf`Uc"%^iҮpb&ܰ\Wґ:(癢 do.꜂umfb!A8IKIP؀O&K;4(iʎu& ߏOgr뀤rL,5H $ǬWߘ9 ̂$CZb;5]ͽ:Į9ndDDkeTCW!br}CM*ͩz.2q8>苽RHU"0ȷ.܎)n$ =@ّ'&JF\x@>OQW|J ؀""k7OU3 yV۳ؒҕg:qL'u?k}h5g|ASX2:FҠ#w睻Ϝ ѯ*ˮb[!(pOS7D`ͬQAȷOjWu˕r&do lN_>ap[vC%]]afS'F-.Ӯ\G%s#])h' +q&^JAVB95Jvw0kXӞ^u>GvHP*45wq|Lkg~v^hF[mGT&% OZKl2PeEu'KdbЎ<{ԺŪF"`:K WVe/A 6x>f77B^_λ诅ak2FKHwMў6GIT- F.Q椏q3S2C88C?$"uwS oBmB(7 [n`e jDMh"~$ǰP$ϼ!!8 <{$55Hi4Cr YCU,L 2z;3,U~h nkn eъr}^B~+' wT^*6゘Nj 9; QL?Hs]f7bڍwߘ.AÓm7a.tdAcwi_wqfv'O2epwtʩ|iMB9c:)ϱW{<&D)o_݊u\a#Mogw g+Q4b2F6jb2n2x&HO)p #EU<ؑ#=@nLTU/\׋~h[n3NX^xbΠ 7\4{ Fm"_ qw4'͕Df8 #g#\P_"& }(Tb(="rӓĮt.ZE^8JYe_Rl{A3=&EuN㸏dͥ)`+T4U K-.=L˼H%mʒGᵚ"s_R:RӲl_1z[ZΏ  %eF2 U9!(a|A߶$m'\7gXTZ1>SC;Ӵ K8TC