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 44I , S Show:threads=2elapsed=13.348cpu=24.704gc=1.296factor=1.857zXZִF! @]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVF:;D[h$o - ts+ovDЀ~ OtVRywXXSD5GRU:du$dZ؊u"yMFw'Z(>ͪDٸ  !&L4qwca5V+i\Y\ҧӗgQ[HfCzx\rOSϼw¢<"3Ea4Vb1W pM*">=8=C %^fs/4YF~ډ{=Q%%> -ETNlsD?kM*3E췖@f>BժTڴ$ EO7/ϯʾ&(hrlki `јЮU( pCDò1a5$`XϋWn0 OK_ 2<\W{s]9gϦvbv:pAw)H) XV>O@pYٟF{L1pZ#qxgYZ7zXZִF! FyM]ŗXi%6kFa0Gdؓ["^۸(B0^Tx4Y)"WɃeci;Rpҳ8gb^!I\l MBqsPcy^fXge`b 脘eeI/uY)+Tqx5 -wƭMꃓu(^|AVz H3MsI(*Fin$C6(yp<ձ 7#,f~(>5۴-do<G[BBBj.6T̿7}mu!G>gP$yP}z (ۅ47d*/MV CL U;1`.E0x.CvR-QD6#I%ϿU:d儣d5x5V[O*¹gH=mn iI,.ML2 pH(@^3qx1%o)h֙C(ͺtU\)?|S.oa3n]6-5C8ٕUw(߆*-㝠{7\Z"?iބ']R]dݘy@:m:tNSb%E߲Ԑk/{A/r ˒iGp 7N$M~+ئ# Cqwi\o.xL]PEOZo{?Ɠ;(0݇)1A話B\؛Ǜ$X&+ u~V^_UXB~#MB6-G[X"%HH*49@wKOEe:!(e˭ 0hWZ*l`m){h71^TfVO6GFocI<'~lxWŒ) ^Ijơ'ؙ3Ȉ8t#bSSSAͥ'P]l)K8`q>p.0ڱgYZ02ad18ff2fd545e4b0ce15f3acebbabbd5308287 09e0808c0e37c102417cc80ab635572ecd263bca 3122c5b55089566c74375976fd6040cc34c326db 5090316d6fd05652ef7fb2e15a0accd50f896884 5c38bdff89b1c683b958bce65a050098a703f107 5fcf31c65e33c233464c7eb2a548da2bd7232385 6577b0c6fc13932355b22f0f247d8221b21c07fd 8318053763c5b112f11451c6270f7c2e12fc4db8 8af5d309cec3e4b5d36d1001c18ba9f8027354ac f8bf8602b256d952d1aef972c9aae94ce29a6c15 faf507e60bf30e4afdc86e8549f3fb8fb184297a238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef 555f76328e6ce2aa8fa8dd131dc37488e3c43b90  Show