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  Y/l$ ]/ Max-Card-Matching:threads=2elapsed=1.548cpu=2.772gc=0.000factor=1.797zXZִF!  o]ŗXf1-/6vR[tp_S T{xx̺2>&]!-dN1Udz-pAY4KG:s[&љCX*+a4]:bx|gYZ7zXZִF! NE]ŗXiɟVĻ,|WU9JdZ]=~ !MaO̳}YZ7zXZִF!  ]ŗXi%;ŸyZ¼GPA)K 0e\8L# "[:!J޳rȼ~^Xo\ѿJTIq?eEXD{.87Pг }Ut6 pӅY$օ{}+#/zUբ8I4U9{V 2rL;7m?בq4Bc(/gfdWTP,IJ\Y; Q[<0$\aR7 $IW2اD&?+\TPG@@<̛ dVh"H|ۊJ?:e Va pE~?`>$<ļM5Bmrl+dZ.v0 9%L fCJۧ&e%Qrbn3 q"Ҕ>0JV3K2zNJCOUX:畂s[J),<-r^9gYZ59157ea657699d053ccc4edc5e9cb98810be017e79d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f / Max-Card-Matching