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 [= \D ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.932cpu=25.660gc=1.296factor=2.877zXZִF! K;]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6G_JvAQYVaQSb?PCiO!r/l܂hZUܸ2u"]2L ,1,qgifP7]?MUn7匆R['A6Mq^cz^̨n:9Js6G1r-IҔOq\@@5M[ŏ8Ņ;n5+#TPeO _W!VKcK*% /gYZ7zXZִF! h]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>tG ]ykی񢽐H"&SƕڼF~z*;:>T;wEn4H() nG[rvdXZΜ)q?8QN7גb϶ S7&M=48|[83zFNіj/Xh<$Fi<1ݣ]ΎʰIU\]ÒFȡiwqjQ >*xUv1Pҷ ]gYZ7zXZִF! ,]ŗXi%;XVD({JtƗ*`u\iX8 {X>DPcPqɗ"D2voBv;fL|avf%Kqd2=s%ĬC,B8u%Xg3NͭXȦAI6=`ȿɄOGrGQ i7L q?w;V҈3݊,ȢՑ:=xAQUʏu?۸LMt ֹ 9*:X/8caih ?@8 Ӣ$pU Q7+ 1®@V_P\`HpQ#^j 5Jd\F=p8$k@k-Y: hW i=XAy{nӫ6|G(4{x޴ۓK|A{2pHg?duaHcoD4lFK{ 6$}SңRHZ\l$>-|"?6a;IeͧMrawSꁭg3Dy'e &Wdun^RE׍(w$?ف[g3!Ցd&^d+5*E6Gy}Ӱ$"V!N+Utr6`)9*')K`jT|~h &4@+̆#tҫwX)@։"J*o|50s:3T`K8ڙ]HٲT}p܁(]s> YnGgYZabb887700d4669984c7a56d300f8fb58072fe955bbfa36403cf9764db93df21a36477abcced74de8 08d053295dd87951969cb4a9512b84a47f7a7d60 bc2d41c2a7659e2abc87de08a6fb06c4be4d38b4 258972117a81be92e1ac9e652b316b693b24c340fb0b58789fbfe8fba0dcd5a69337b8fb6a066d55 = HOL-Nonstandard_Analysis