SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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   u# \ \ ]]HOL-Nominal:threads=2elapsed=7.601cpu=13.496gc=0.832factor=1.787zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯cg>C 8U^\ƣMwYJ9b ,w~*w,U 9e%t&hc$cjۡ>GԍW֌Z2'$r~qC-(0'}<ݘOd{7R^P A/"OBPH&Xբ< ^GA6!&ؘԢNtmYmi587|8x0j4DNo\oyNgb2 E-`;H[Bqh _rZ| k;$*]8a1H3+9U;]!wE5J0M#h.hn)]N*X_qo3ȗdmr'j{|8@{s|""p53$/`?axYΔ9D0 o(~g-G6f*<xrnSڞy (m?wy1嚁E|ܷnP.ņ5^/36@h#H"[ $Lt;J'5r柽S=?SHfU{{+cƆ9C ^!HH`+]d-)AfDu"Dj )%>\dp⬌v,i"{nDBJHMttWyΠFT>4k=v%UqQuMJ/1,+N40p<̺Rl/ozJ5 Z#g(.cgdn#/͟FWgYZc9898b0ca3866481c70533019584b5dbc741f6dc2f45ef79d98bf4791ca25c4e1af3b76b517203ad 1b41415026d3583c6b6bb0d2ec2995e8feb75528 6dd7123fa75097b18d3135622d27b8f5daf5537c5687d192b6d6c90d263cb495053d366d1d05e463 # HOL-Nominal