SQLite format 3 @ .0: B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info p p t5DT ]S HOL-Nominal-Examples:threads=6elapsed=212.166cpu=988.396gc=66.112factor=4.667zXZ ִF ! f ] ŗXf1-q恈ބԍW_8FbѴ Ny#jx'|h0$q=hi53U XUeSaO;HqSZd)"A:hmxJGAeToMJ0CĻ B֯h'a ˥a_?cW5s*sV6=cu8yBJLeckWA'wuz+GpV>[6{F֙OxL.OZG,%AyZ(7e*>,{ m BǨKoa#2gW`0 c/Mi ɖwN#6jul̹&|He3y# -OFÞCckt|+2X:ڎ .hhl&Y062$}Z!f"{(~{>eI?amPOUڊ.|id;̒9ׇV%2tL>5"nV& {н }581ɼ}^a 7zm-Y?[Ӈ[,Ghim麱 Qw-EiҔA0k]x6=U݇d\h\7@?A^am=HVA"YD6EN37䵔Zo U,+J!f%*=^,xy'g8˛N!&avlݦ9'ΐ%{{ uoπJԋ?a1MX _Lۘ /rDn8I,fZ^AJeD쫕/jfjƤ/j/'#A-քpSң 0dp):+?<m$['ףR.zA#jɣ#7NX{끣= gBɸ2"4g9H [X!f)*v⮑5Ƽ>g%Vf+̯o:آD&Y OGn#G4nzEU$ZÔ EѺ$ݴ+K۠Ǚ-8.ص#]9]ǵ}re\]*RVԳpegjG9#Bn= "3ZOq~FL5fķ"E
w"W1ۃVtrˍ:πG)qd.mMzXf*!b