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 t' 4  ConcurrentIMP:threads=2elapsed=22.983cpu=40.208gc=2.176factor=1.757zXZִF! 1]ŗXf1-/6vRZy-`}$=O]a"RTcL^? 1̇rcPSg}C!6<-GbA ",ݎ2v#Y0%|2 G3n G4X쓜ͪ+Z!_[+`'tk0V)b5oVBKA ]-qPZRuMwN+exNZǜmv N:| gmU„X"gܐΡl"DWdh[ d1ɛ;-_\%sZ:~ -fفJYpL463fݨQkVѫOK1ŧW vZ|΁ @u>§AzQ ' ConcurrentIMPQ!"Iȍ*zVć844W~Չg\[#8٨ovQDYc¦i[ē6߰.++>$nH9!M.vU)8N)ZI}tp[ݺ\f5Aϒj 3WNaQ?a/>Xɡ D]n 4vrX_Ft@6X +w?RwAk^Ä9 cKgYZ7zXZִF! s F]ŗXi%RN S'FH9xdxܵ ʎ#)L{ 4M2xXgo S%VTш[C{VˡOS9vCtEC$l]&q 0N FaØLūRMy:uZ2ø_N} Pƪm;Qn^iD­#u g;V! ]Qb<X4dK0&S޿/'nX֛9ݐq~4 ԻSӼ_gwGX?,#?Tj|n1( d,W~'B;D$ʃ:* BP sx[fSy y΄&6OE h}hHgP|5< ן~Bc0(9 6:r/%]yTJNHcĸADsR`)jЙyɆ>0kO,T8ED8q~Փ͓^2mj+F,A+0aоhp 2[^A)Dt5p[H>k}զ GgAKm?@xTyaV>]b0D QsqS mȠk@x;5t)&P9ip4Sͣ˷^7evE<[W&ֺqMf|!\3 yŌRv@3- uC 6b51MxmL(GqXʠpJ)?:@$·-ks d FE }+6:Ms:G)ƟODN|*@T?^ YV!mit'塛Zē`>PU_x5GS]꽫?y=@(jQ>M4 94([D{FAQû*X.@"(I e 5Jjȣf>ZΆq(_=L%vLB^^{6Cnk%*.DVv#?k֞9c-MxٱL[%Z,? ,'䬤=Wsp'pn詫3]([i>+J% vըz\ :he ow.09is(]TaPӧ0=:[W@ICU߰7gR <> H E,ٰP'u穻.OH@D%l