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 oo D / HOL-TPTP:threads=2elapsed=5.741cpu=6.772gc=0.096factor=1.187zXZִF! v]ŗXf1-q恈5Vs1{3 k8gx'3 ˍ$Br2Ha1fe|^#A5}}5ql׀/a5pzD>\F `j1Sކ[?7X=sPҴ§µIof~Eq!: ݣ:=K)B kAc-Rݥa3m4;۶T8EWuS%"-ZFh!Y“ c;   HOL-TPTPaY_>ED=CZ m=3! sB7#>of| CiͦkգeLdL^~$`݊W#*G30, r*.A3t5j;fX˻d AX)њP4Z/&.Slg5&]&]]Xn̾=ϼ.ОvBg8nc`F%Ɓj@(N!I)΀NƂ |IT7d:AxQgYZ7zXZִF! \]ŗXi%B\کVS|nSΐ+ķUP}i$fG[Orwt'gf I׎dJW>=Y-).x jOm@_TqbҦZ07!zNBʥe0yf(뜨vs\xf":>G'-0ΐFL(^k..(N>v|ayZaf$h՞c)Ju㦩6YMqxSYV:0j>OUi_O ϪKSGlL$}m[z 4N0. "{s#5AMbqثsI'bn9(+3;C]ެ)ĖORr(3d4};/c.\];:! k)\{aakn磀qD`N﹛aO)gOG @vs]É9M >- hTR Σbp+\.Ԗz@Taޣx_I |ۉ&K\T?0{1}`jGpȾb9 .Sgk0sXO~F7gYZ0906aa30d620b7a028055cfcc0b736ec7472b4b8 0f4e5f143572493bfb0fe3045f04f40ca27a57a9 14c3540bb5127bd30a61f668d40891bd3ead84f9 1be9aad81919c629f6e0263244ed28e5fd4d1e22 2259dfc3f0bb35c668a41285771cb146b997c774 30d7dcc9ff3b8b0df8f3c5c4437bdf7a75faf6ce 4052f97b07925caf44959dfc8c3210f2df158df6 4277ca4b3be6a38c6a21ce93b1ecd491bf6a6eb0 46192605a28d3ad2909f27ced8163c5ddfc10334 4debc897e1808c83c978b3d2c8ec5be8185a6b13 5fbb3a75b00888b0148e78af11024b395ee286ae 629cd704e857c1984f82e75febc0abe25b3a6ebb 69caf3c2ec6e680f32137d6c87638fb62353940e 92ec4c8d739d7c9d392f79795dca2d3094b1b48d 95b2dc2709af2de828f6c11fbe7d46d362dba904 a02979dc80112d42f0ba429951c7d86c8f2450d8 adf062521f94f88fa1523388eecbf0134754edc6 c377293ee767b2d09b9804c3b544d2cb89d81dc8 c71f8e92f436b72edd2031edf879c44023423087 df923d5433faaf7ce45c46ffabc0dff00954eab0 e05a992c8710c6dba47330ab9deb50fef9109c58 e0adc67c1f2b7c6a3cd0cbee6cb294f96445fa9d e3574e7319e93ce3a4fa87858d66f848d81a8d8b e939e9ea091d6c9b5c4e75d04ac15d6a78c5f6bb f2dccc986e02fa1fbd9b3487455dac0041787d691d303aa48c02fbfb8fe205c90ee243804756e6a6 3e7d2e5aa099435bba6e4e30f924c9df17b4a54b