SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  Ft\D ]/ FOL-ex:threads=2elapsed=5.290cpu=7.560gc=0.196factor=1.437zXZִF!  ]ŗXf1-)<=IOΪB@G8kPB qj[z%bc՚L,n%;& B_K[|aLjsZУ@?N;yılAUg,&tܠ#%żަ*xq:&z"nK!A/< *{T)z7 i2| 隇j*-^NdcM:E[&zL,kD  ꭚV*Zr`7.iz{|Wo'q}$T<{\8f[k2)Jˤp(|1JytB<*c>@35J k(zЁ VڱgYZ7zXZִF! *)]ŗXi%;b;SA-0Hí@•,gCܜLrLyrGHśf><-/;Ze'Z:On[Q7͸y)":*ȶG&C5yd@U/)F\j8Hqz4Sju!˸c/Nupq/k0kxcnfSe*>LLKm|;'f 7|+%SMEAڿ<IX&mF;CM 'd&J_9V`3TU"68o**!=o-JiAz,˲ PvʛJlG'6-#k?,z7reP)bu?0u 7fIY*VR 畃ΐ) =?54m-oˢd6[d|9YT}`YhzwN O!8-ԝ5V_ O7i6ps=LpZҢެi 'ͧ (Υ\у{pgkz;=I"4y@0^V0&5 lG6ijֳ-hq.|؞߳;rۍO}bU=19PFd=]VoX++>wԸH|. lFd2TԿgYZ9bb5002d875d925e5ab4258988d04b229897dec77a91b7d56a3ebf5fb97cdd7322b4b23e24fb0c8d 1fb4f8d1878f42676a28ba97796fefe8c4283816   FOL-ex