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 ,,Q D S Show:threads=2elapsed=13.006cpu=24.568gc=1.224factor=1.897zXZִF! .9]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVF=Y$g*h l\:ւ3Ǐ_.4T r/,M7Q/f3d)i'#`y zq:)-_^ j&!3K ]rV溻~qN&L_.+?pJJѻްga;pL`T m1f$`ٷ#uz5O4 4L,P`mpc0n #Q-}0d[!,N}9}7{+!ciKKT!ql`8D]ɸ+1=wCiV˃~h$3/]iph}˵-/vRqn$h~7n姟/k+,E}E Xd{ 2cYgYZ7zXZִF! K#\]ŗXi%}ȯrZ哝 6ގ|bXItlE*QA+̬.p 3zEhg1ZTߚz; @gR՝j?ֱf#9ۅ{pώاA(%A82]˒bBjbԠeW>P,QcA$ŮNI6iksTaG<%"H+Oz@1nD$3G ]ʿsm'lcʪtSӦL'p HLܭcJF~]njfĵonU[W]րF e:+y1n/!̰ J`JRl"Pgm "0Bk/5i+:vagHa#U'-'{fGЍGyT*H%9h(gYZ02ad18ff2fd545e4b0ce15f3acebbabbd5308287 0e92bfb40c58ec80ac022b0282cf2ed21656ca51 268e812fffa5c2fd46f0296a94e824c975fbcdaf 3122c5b55089566c74375976fd6040cc34c326db 407edce55bc78b9aac458ee75faca6679202c9b0 429952f9b1ab48f5480776e72dd795c832ab4fd6 5fcf31c65e33c233464c7eb2a548da2bd7232385 6577b0c6fc13932355b22f0f247d8221b21c07fd 8af5d309cec3e4b5d36d1001c18ba9f8027354ac 8b48747e6674abdc4e2841cd3d9ed677b51136e4 cf0eb34815c10b600e671c786585de3d3713e6fc0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 20e411d85443a08da760661a084e98e61a30d208  Show