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 --H\D S/ CYK:threads=2elapsed=5.138cpu=9.464gc=0.436factor=1.847zXZִF! &]ŗXf1-/6vRZy/``$%%|f.a־yd0ݣ^@eq~K"2v^#e{>@:»+8^ɶM.2{baj3 DvlcyH͘PSf~Wd"_7lM5͏MZCl(8n}L0PJ "Fa5XV_A&g{X7c>,1i ͻ,iDڮ8 _H ׊JVS.16DS^/+CA+I $Ba(4NeX%sՃJ ^Ү"7YƥVmr#:/pX[̀tBY K-Ro 9Y,z#9X9vүS]!ǘS_=WMt(UV|%mPЈ*'&xU*%oKF+F[7PG@ǶLl3*x5Nk+>3A]- =`*&ihabJ:G( > ?"N6a}`Jɏ$JrScݼ<7,FBaś|(i%MPқⵜak R%<۠v-n>&sbGU<sߺn%RI@"|If] vCo=P(Oshl50& AcbF}߰5p^=7'gYZ7zXZִF!  CYK #]ŗXi%Vj>3O;.] e.1M)xO|Fl I' IQ̟+gEB%^'$G4'&Ze|he^U(]Xm!51n e 7yj8 -`zb&mC7W6/z9*gUx/(3J:+ y麡_P:g#8yړ6nkްTéUg2ǖƥ:-[qޭxvQ"S) 9)P\}Z?MXb׶H@EPCuX^V4,N d;6˚5>DW3RIG>VWJ`sJ9 07b6($# k<P)TϲgirpUǶ< tgOȐN(>PshIP4Ler|䐝gSOR)hD|vz?{hcm~e/7m_tz? lGW漦 5m*&y =&]p5}df9s:!~6 :@b:eS!zԔm8o㈫#*b:cKi2C|]h J q+#JCFQ|`gYZ50f0096c49c2bbf48be7c1fda97224d10c974fac 5eb00cc4d9a70dcdd682585bd5fae0f37f7e2097 99861fa07fe03ba8914f3d53c7de7c7ef6deaa02 ad5b67e29573926d3c9af3c34856b90c341449df80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b