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 ||u+T< S MuchAdoAboutTwo:threads=2elapsed=5.650cpu=9.472gc=0.296factor=1.687zXZִF! 1b] + MuchAdoAboutTwoŗXf1-/6vR[k\_[FjhfPiYLKh:(B`*vp0T0s>IsFG%P4熕&$g7 6QҬjpdw M>@KZs䏻3UJSxK b(qr߅^¤W&dI6i,&s>KG:sC%SG *GW cd.) SN޺DQe,kscNɦƥZU~EC,` k+ 7lXcI<>;3LPb40ej JT4(E p";I9|H0݂D/[bv>  g{/en])lsb,O#/pkpK3}Q:ڰa;Ne1ѕk#\5ZEAEE:o}ӬC;IU]@ioC":S }'Xpk1}[9k*R5Kucs2gYZ7zXZִF! %O]ŗXi%:s ov͔*!F\vn9NA KRiєu vUJ3o+ۖ ~8wZ+.{g+Fb v,_D'/T,ΫC%p(-`^rR23'Җ͍ :/!͟mv {F⦐}&72<7])((zPoN`JgS9QUݖnbbiKF XCtwP#`lUEo$K5r]Z+Pi/϶ȳȋy ܜ\;6NL1$~z?6w#uN<;юf%&&L$V3{0ʌ ,~TqT|LT; ~ߘWf gu-K»ehn*=&xOASJkm*lhjͽyMs..J7Jbӌ-Uz%P[к$7‹*J'QH *^0ikj1BCq]6u=MRY;#ޛPoN5alC߷ězW)Za;dbGD5/_bTB5p;'g"DȈ$ӌ`9#n΃9CX(O;}sUh[Kmi0bp#pAN6>f R\1^Qsp!(J"PƱgYZ2ec70c5a14df2cc510e42fcb79e841ffe231c49b 2f1e07507f2358c7a35be5f8e34ef9f7381c4496 8f8004349bfaa7d7d161c5cf53904cceaf76c45a c2b674203e2ed4778417cb7a191e611aa78312c7b9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d 6c1e2e695a2f0575bcb7e67bc72be34591789107