SQLite format 3@ .  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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info d d< ]S Show:threads=4elapsed=19.101cpu=51.816gc=1.912factor=2.717zXZִF! e]ŗXf[&QͫВO(KBCbd$%sqc^=D.IN6/@@nЯd1]oˆË ՙwo\i$z\ ok.ZSᦕL̠j2fYѦV.'[!52A|"k|ropv1 1WvVƄݠbl d]74e?e4 J{a[4t[.`X(Qk%ah¹*;~u60][,zT=EYYȷJPإd{zu808n34Vn'FЕZEu$\ӅǢTA|>ޒTmб3h~o3X-kv쯑9v M;1p!_H01 fb1 6\}g* ]SU 1&t@tj.^'z(HmW/;`(]{-Nx l'AYMԶ[jmGKKށzRעK\}/ri J"ЁBfL|/\=S.稔zÝF!G)9x8*T*EnRNP Nn i(mcÖ XjyVyhKsyLq2/X_%&#Ɗ/}I[Bo%$+~F+)͚B4,>r=['=Sf=իMzSqmE <p|PO nz*Ä|)kfu.mh<ܴűgYZ7zXZִF! R]ŗXiɟޅ*-qb\ȾsXՀLơ%r]} r_9mٜ/e< YU\<;5lP_Z }&/K*Yց. e RBm6F|-v15N=)&B$R^|N㇥h!ɵK0BJѵgq+u6J/җW+'[;Ox :*5KU~V8E0-vٝS2P,pȼŧ^V! i!O?S$TZfAӏɰwJRv~Ke  0KՔdfV$"yA }Up_4EGo+sނ[z3Cy;5ӌEgSB-PGly"Zg7~yÄ 9`T]]\Z fvRf > siث+=Y{ ƬA|Q 㞪7 BMJݓ,l+9Q8{iCc(vO D*'1Bi%3=Ver2O7 &5M*~d lϛY䅏kx~+%ɴn:E,y3)%&V\i i*xeQgYZf50ce1e0702210ef04642093dc1b66fa753da3e6c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220c 6c268f7e9b672f8dfb42b77d1ff8298384cf86ee  Show