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   Z; 4, ]]Stone_Relation_Algebras:threads=2elapsed=54.054cpu=97.836gc=4.404factor=1.817zXZִF! BMS]ŗXf1-/6vR[]o:чR7C6Vc_ڸcOQ#κᘷV f.' [ Xz@nbi-5%,nߨg>H깚Ȳ*&xC-@ԁ)OhAah}#DW2%_9s_0Hc/nNԁRp ?Y:1ؿx{̒6֍FVU~ dB!#4%¦(r;./rȦ6tZFD4@UWq _C ^P,;)s-Efj2:ꖎ 02ٓ*F!c/=1{*Ҷu,@&Trh;O#*̶(9@D`%7afCI0y^JQt$X徛.N|dnmc]j~vXT"׋fF΍ILUi}XIdEs/kZ:Qn9 =Z?OJ-2 ]ٷW4ĭyX ,+yYgI9m9ݳH ?s)HAMlK\` tWhjScfIF#t {:Y=WG;Vd>e+C}[pNDy!AHz҉^:6T\ ; Stone_Relation_Algebrasvx;;t6{GpZm[?^>H['Hv ԏY,q*@ܘbAk| 3<iGZF>xq:,xE5v<ЫiLLLd3i[ uNB~!n3ڇT=Z/|4J}?ob꾻YeyHFCND8c¹HdH*5{|69sy([~Ac]1o]jc  ΄~BgYZ7zXZִF! 4]ŗXiɟ3:WX2V^M '7xwB.]Y1(Z Yd5$C\S]zw Rޝ DwrGʡA턀C{Voya˫=h\[GUĈ( zAJ<J{X~V1MdQyܵt.W7w"- s$GSgYZ7zXZִF! ]ŗXi%;/d^d:A$&88s "&U@g05+a_¢Ci=µ;q4E 1>d+(^_sY7d';B)6j#ZAzX( .Ŀ 2?ˌ[a e=.su=Wzu^ښף႘3&bA5%SH`D;X`|8]ř{j|Mcf~3lEXQћf^0{Uz!x9v"z>9ZCj/8w]{oJ.k?v[:oi,xz3tk4? ϛa lZ /y,40eA#a :T('dr57>?[FdG]Dc0Xpq mD;^f*m;lIJA?g-`AFq%pU`? DM4oIcb51ѩ&/yLwy3KoJ-!<m_y,%ccҹw7< =(N1\;חEib5{(?vk"V]p m"f5ϜE\+f壽v 3]8WMMML*)с/a%=0N'he&hz9Gkس~uޚ I"•!͒3q|J*ڮsVE0 pG-*+Q2JG,nM|ڈ P*vn.5wuμ:>:NjN8Fl$SIP%JWq jI(Us>FOLcnG௙UG&>;w#*Bhٮ2ֽQ.Ga@P`e=&,7<}(uc(%~ ^G)ZG`Aam c\wevz^[o1*) i#Q4/-餫M'9, 3A7qtnyl" Oivi]xf刵# ^Fg}K=-gMA5< Y=Ga,C)إ̈ Gǎ_ \TT—-X^&]^6vSxcA'K'lPԴ4u,C/05sI׶Zo7O!sL {0 0^S#E2șDYՙNS\TL}tR&#V69=^t 9_C$؞HBeOoN)'"oRv 7_BM7Ui:О&woTЩoa Cl2Yz=>/ӡnp1'!&LEnw^)N \,*k'Vb2E \w}IejH mǑ׸wa"#AseC\/ ;z-?;YOmc