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 = t\, ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.777cpu=22.128gc=0.968factor=2.857zXZִF! F1]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6G_JvAQYVa t;d4Aer =^L߆Ј9_d)kX''6,otcr v pA7Mh&$$s-J)X7W]>-6x2+wV#0)tQ+̑6+8A7H/I s-C@A;Pnխӽ*4&2鱑 Fmbr T Ya׿ L&B;]FD n.Xs۬0n`|i>] s~Ahޘ)8O hU/ycqJp'XIcZ4 XpU4Do)hm0nw=ܹAYlg<+70F섳߲[* y+- Ud{7rJq. p7[Y#FL?Nҙ0cCNIJ~Iw?/F0XUWDQV)5 Cj{C8]Xqkҷ8{+ 9P脲pWݢ)%aTj20czE*h_Sb]Y "#CDe.)BGYedH~>DZ5&1݃i?']-ܣϦ( !Jc [$Ii(n OsWpr!