SQLite format 3@ . YYQ77Atableisabelle_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, "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  : :C Ll ]w Topology:threads=2elapsed=5.816cpu=10.780gc=0.748factor=1.857zXZִF! ]ŗXf1-/6vR[k5Ksn J?=P#Q䦒[Udc$VqUR:#M:plzNS34)&7+A/R'UE+0W\|kJdh,h;i#ޱNa/=j)VkhG8Oֻhfo>e^58J%'lWQH[AiP XQf{gYZ7zXZִF! %]ŗXi%6f:1D8_h)YyOEo4g-͔[,|Xe~osas}Seʑm8* "v:`>{ IЎ\{c}_ ռ5g M9I, =ynOg1@񒫚zCQ^IUL뱽?IE 79@)J,\T`? dO.|SSŅx! s-^~UvJq.. ?%5&N}JlD`T؊.ylz`zyV_hof%嘏l}غKhCǜD_{3Q <)r,"[K256N<%)@/ԆJcE\gc>m,1mJG[![ϚJ cY]_Jl-|%6؃iGI^r `Z{̌[l%[N \5V5DۨK~hVhAkvcpN ^ áW ii6Lp\G˺+E"6ṀjM:MM1=*N'@f3'#sߛKñp0 F=\B 9C@':-.X`,.:#9j(*> nT(ǂqKgYZ5412193165f67ec5dca26825d93dbdf3d0f9a7340a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 ecbaca1f759e0af4557375e3f3e93a75220211b8 9fd2ba49311f544ed16d60b38e1be4fe427c2983 d103d97c154fe7583cec09050d1ba4d3c0c3a95d c135eac4a78c0a069f8c5a2eb7711e69579305cd   Topology