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  - D ] Tarskis_Geometry:threads=2elapsed=49.792cpu=87.864gc=3.676factor=1.767zXZִF! x]ŗXf1-q恈\T,rBV$--O:1XlҿuzVbDv_[Ja ZP euϖz'A뉘z- JTi[mzL,3[;=$Q5܇'O4əB[τޔNȖiqZEY\?f(`3J4z%._<%V?lCH3 r 8Id62=go|VA"'D2j-=a7sU?:[0J E}^;;= 0&3qOԪX^ |}:"VSjwr.ŶPN1WL˧zA(5+h%hHq0"$S~="BLF v́@A-sb_ - Tarskis_GeometryM~Q e,Y6{sIBmIڽNb\\הQJvC&a Wɞ\$oS1Vu漈:!Orq}bF{%m=a8BHwH|%WX/YYeJOAeMgfrc;we2}>lw%ܕiɫ(⯮F# l Y ^e.= EF0P sgy3p2?x?:߳2p ;I}h[WrF.VEF`@#>gYZ7zXZִF! IY]ŗXiɟMr^&%HiI6$ wĄ5o Nxq$ x\A8äA?\,%TG7v9EgsmI4aFF]<^+;L 7f4 њuOhwH̎C?pr~hCl'n6IHONz-)oۻ׀E0X GҴ'hy9Tf&gHR+PP8)5' ↗-_ Eg2q9֢Y$e}g җiȌ~IsE˶۠Qv<Ս#U:Gs _0f#P)gYZ7zXZִF!  :]ŗXi%;9,⋋83Ӣ_Ĉnb olQu0fa67Ew&kaw˄Du.~֚)+&p*=M2YHe}ާ9EUNe|bIC4wM4ok3X A F|ڙ;_.~E͕uon%1&a.Edl: d5UJ[&?(^4 TJ,Y)V^k/94Npݱ?{OKJ'kej08{! ߉V)h.ds2}UZK)k %ՑpIKv.pw5Bce4'ؑ[z(aa.?IsH¼%EfWDzc`Ka/z(}pI!} gzA,Qި!*bARG1鷫1٬;=.+,` ĴճQ_eZ#o`e5ͫSĮ([Z]b"bʉ.]Ӟťv=.=y1ƈ Ԩsw%{h-;9PIqDAz>E*!i{OݟAdzhB\J53R\yU=-N-4w{N]" `yR[!ӳ;xCVX +%Gx)hmLʌ<,_+"UUᡲ RP*d~tԾ㠜(](aOhf Yg=`]jC\XOχ s\i.LYSNQƄ4~I`LzM6 GhKLW{A q +a(.M4z2Ppl=σݾ'qA: JpCi'}GE7f翀Ԩt+)]L[AGKJL*+?S rlFiO'=X)D+5>~cLg=5h2u>|E]b"W/et $F y>rL 7鲜}FǪTrkȆS: ̍")X)E} a0Lh'.: La)(>zO7 m*j0ȹX;eWa(qNtIuL Zt̝vӮDCH)@B/InQb#7bHHOk @\G$Jo6%@QBE?,.BiڅY;8U bS&f#"h8`"BVʽ3o\='U껙j//2![8Fi|*\1ن_YrcG{;O3蝿D:.a „e+9B+"y#ktujYDC,V̓zLqnoo 2rn|Z&Ïa3WuK]0#cnd25:0~@6I `0Xסɞp[GUU@W}K+x ?aIR_MS:79.3d>86s BlLL ->L+:tbޫ L= t8gS:T ݟ1039)wPbCN%wR2™{=-*) -G\dOgۍW/kO=yմ0&\D!Tr>dfDm