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  ?3TLL ]/ Partial_Function_MR:threads=2elapsed=6.270cpu=8.904gc=0.496factor=1.427zXZִF! 5]ŗXf1-/6vR[2\> YC.^u?OA~hO]>MR@^3ɲH1^樯ⱷ *pQ,ej>{aF uN7](ӌ^_C}C~ף͡.%4PY8tNr.qˆSd3N`qb,я|m{w}:vY@ ^kgYZ7zXZִF! _]ŗXiɟ1˦rnzx <@0+gM:ɉ|i| 8ﶼW+ K]sdmRWyРZ_ t,z w$6S n;Kˑ$ByJ)6{T{5FgYZ7zXZִF! ,p]ŗXi%ύw:qfG$ie>_H (ɟO2EmRa*3=2s71'ur)7} ޡ,x}0%.aB ⿸Xk'~,*#}Ýԅ.)QYO;UoX}MRء8M}I!D\޾$7V40|tC<14ǂ uzbů\!OY2^'i5/|P إz]?+l8IJf3YqT/0u6wIvc+?5ösڌTmy Rt6ZHY3I7:lL Ly+{PZ:L^$=T.,T4!υL8.c.+C]^*оfwۡN%U;D\'OS̏"㣘0Q@3c1^_J5 *X* u}c5m4Bt]21\Y,D4Yj !zCѼD=Nh8rd.olExNT(]h>k[ ^Z1FSUSe Gp M/ど5AɴJ|x̛ڼ򁷈vl`> I2|O6o\'Wj;.fIm~4z3WС.ƛ:PY a'fL]$VwrH_ft϶iOk}=,>(a2 X m-gYZed8be9777fe0cda7369f4d1a9a970be705542021d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615 3 Partial_Function_MR