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 336 <, %]CAVA_Base:threads=2elapsed=9.743cpu=18.852gc=0.888factor=1.937zXZִF! :]ŗXf1-/6vRZ*_u#K{Tujab$^}, \#)D;I_\0x{   CAVA_Baseq2UX@Ky0Zt#Rqm;"Gd_Im1y=OW?\25VmW[ZAy.OB\8 )\~DɧWt(a>=I0=Sn,@~:\qsXl)k&[NHAHl4h+7lH(.DSIR|K`iD[q&역ڗ:Uz4Qki ڑXC°,=MJ2 *RtJ26߆0q_*(9n `57@4 k4v2geM"<$N7kG%b80Qzqmv0y qUB/@hH 򺆎˙Ȑ -+37~gayٶJYxb"h_6z>ilq8(<'gb9İ̊DT`L(N޳ %ܞ:Y?Cy$C%ΑF<Y,?dvQGf^z~'=g4|{cm K Tk *2= CS4'ĩj\`~0{ xmN%դ;A0jhȿʶyڢrMUH`5܂hRֺGԽb9زQ+kh_wشT-d#NW&DDy.>~!2Euј\Vػ"$P\EK[mSuԦMAk\5lnTj&.t"qd|R}eV(Lyga$(4E(zſDr.G7JΙN]J\b.Qjaw.~ltfMaWFd!=z|FT,)ŵ V;Xf*YH n-r9Ijds+߽rP&D7^EQ^"QyDVB{mZp)=*j:dEpI1[4YIXBb"- f$X28އ^-r 0&͉<%͝phU'{PͼZ6ߗKvx3@.\Lx #/ 2Y׵ luɔ\*O 0 H\!ZkcD&~"s̰͙x!*>ΙY}7+|E&{x.a3o!= =t?hW)DzaY::'|]xiJrdaG#Bu*/