SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info g3 $|  Selection_Heap_Sort:threads=2elapsed=10.197cpu=19.496gc=0.888factor=1.917zXZִF! ?]ŗXf1-/6vR[]_ʥ4*M[#L;JC z_[(ҸQw y5ցW:# G}Abq.F/%vdli꧈DP1[wyu?R VsaLUYmK/$䰧_̗Y,~HGce%<}/΂R) c,ٮ̞zL N;۪^iϼ tKǡJPj[&4-/PYW5ʇ.D| 0&9l)^6 V#H#H1pZ?'in(3qAE?aƮZTU-P0T$>WǮJ&3 n钐s up=] >j) )U≷)%eBBwW"vT͟Bw+>[5k9[oGl)ÅrM7u|}VNXOoق47Q,9&?˟d=*SB$iS0LYv^c9gPMy7k#%Tρ*ў_O!6ls~4 2+WҼ#(VrS 3 Selection_Heap_Sorts%ں\ -\vsN "0m.IƢDXpQ'fp>EV mJnSr\t}[l.PWJ6_3cg.O̠m=w CaEltXf콭6b/I+듿rbf|En;N`lKCB]C9s^YEOրmT7V 0[Di\5pCMEy}T#m*\3N'KJL=8@J4nEBXO} DS+ZB(ߏ3b/%(#JK(9V(Wv_s'ojQw|{uDз1|(^Cr( z|qiAdJ+i*wy)?l8Y!VެG7 ]IM^X@#!{ mK( ~LjNgYZ7zXZִF! 8Q]ŗXi%>xP, cUUi35Is)zX Йҩ 4w/n"I\i3ssJd,bSfI#_d_ʮIct$??_/Nl"lUq4 ғ;׍ܡ(Lxtu_܃k0}'?[7/}'L5.4|UӤ6QU/17jFy;SK0BqhN&L>^oT@$Q$ hx’ܱ+x!OR@ϊjuHGi@,qGmG>5gߗ\ڧ0`BypDv$lX~; TSNͤ@V pu.*d9 "G.!(rJhq긩b'q:A2A$0ؠȈ>#^'k `] h*#eзڲvۖ++5 v5/taw+f}|ˢQ+[)bcՅ;q|ḳ_b+41\[;锋v4Dl8е8M ^qUH~9UKl-Xi= "7hW)\":)oA