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 CC:' 4$ ]% Tree-Automata:threads=2elapsed=34.283cpu=60.192gc=3.100factor=1.767zXZִF! /Q]ŗXf1-/6vRZyغgЕgQ+m$Q#3dY8lMcK,cOXb&Ǟ?K1HNց9͛o30ZVpLv{}c1޾Rhy^LEقlJdB0u`JabOHհRh.I7zbcO ĥ`40:6 72ˢB $۝}$U{~r>%,<d{ &Z@8G R=F{񢘺iZ;E~*A\-m:|X0˔ uI/5 tJvPH1DPZ't%cIBRB@_)`\VHdj5ZՇXG/Q/b S7 "J'vڃw6 cxcr/v>FITP &?4! sMnmu[裸 }PZ8 RG<؍k!5*Y%B{!ԌMH Mz8,b\_>?wn:0iOf@?s )(`{yjP<?n?b[.SOHh+֥'{³T)fÔҺW_i{6)Ϳ1RnRwQ&Y['jL=4W{A|1f~Jbː.*]@+4u>:6X9_J:١pAVv8ѱgYZ7zXZִF! ]ŗXiɟlAC?H 7Nz $̊e~s o_}S^-it(3d| γlGFs ,fPP|%@C f7*dce '%(&^HU"rտ2\L/oS.ORh>&OP\`is[ *Vc 7!y)`$-*3+/\l?\n23s-?&+>)ޑwA 8!wpS;1s-3B{Q}vfa=O|?snk;]FQ %PD)C/Ke6!umE"CgJXcZfPڙ݄ʧAD7s[oцS8wFalU&th{{``~u|&wZC^Ǯ0s̎M]g|6XE&W Hs<}5stz6jx LݐԔeCv"F.{C5N Jm$q 8n{age|O N?w'O5)\FT<qZrV7=.-R(0E]}U)Ge X홃߻D!uYF[H܀+{ļx[Ohy hC;}bH;V Wv8> {<)+l 4ޅ4v$|B[m uWu+ v[d9^?Nu#9PT4{E Fz:X[H (pu> loq e E@!]Is׀zS.S_;I*\s8kR70g-"N̢; {pql&*1j@$ܲ'f A)-0\LnI _)!Yp}qVTAf ìy5зW+Р8(NEɅPÚaȴ&^lR< 'V Đg{-zHS|I[4@Nj}{[xS,uauS~p (Rʎ5Ay)/>$4=Ucz}|'](:cW\$@&"ӵSԕ 1ѐN Ѽ*R:[_K̔T0i)?;Qo!>Y/#ķW-f/gN9Q[‘H0{i_k61G'E+X()6ᯠ0 ׳Qj&Y&?<,ۈ?.k0-dmx1cT=Zx&8Xq~ XAalj=<}V^b [A iTn7=4-^tЌغWJpٗwHO&9-r2`Yy(s]@FV Β68u܂[d\3Wf!Vk\Qw^LvS޷mm@ 1T\X&C f'6; L$(A2T>k= nRPSѡO#L y& ,_4j|LXkfzFh)eNoҠt TgYZ766df04adc73d1bce3241f1fbc053fed898f2e6179d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef 1fd642830abba09bd6d15d3f602f5a4a3532d181 dbbb8d32e530b65d3936663b4b5725e0980a93b9 2235cd6dfeaba7185469ae5dfcb3d80cc3c095ea ' Tree-Automata