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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info >>? \l ]S CCS:threads=4elapsed=13.915cpu=42.244gc=0.976factor=3.047zXZִF! ]ŗXf[&:)V<2c_/:`5=^QO1κpj\H_ l&!Lm%ѥ 3frbf6 ̥^UDdQ(=g=挥ר'pȃbTm ttQ:Ş2`,щTa [zKõXPXR|ڶ)r&^"h ~ fj[^k9 6wb.{ڬlEqo9O-9FB,~qK:K|K[ƭt3D2Qro%lْg"pqNr Hxj`R,ٔLjd^?@8L ƫ1Q/"rVh_䔁N iifrJL "aq41fc2QI9~]XX>|V_d+ 0=OڍmxW9?V #HrgYZ7zXZִF! d]ŗXi%GkQ,ChPQkW φ(:`+qy*,^%C4s?v<{~LrZs%vT WZJX|\&d?/[Mp1IX r|2L_e^ԮJ.J-V-?o`J S J, T||R{ϴs1K6uFstq5.)(Csc6/?#i\Yn2@jG YZˤ_ gEwvgi:ViG2eh RR=:'Ju!YNw78]Uffh$⺪zw^C-DJr0:aC6"Gt5 Wgȫғ̀K@Nt4@([?ӯ &Yi$R6bz&=h l5(Y:+ dXF@~(eZKKPA|NP[vT PȼHN ߓǫkjc}u6o-!T~fjF㒩^K6-nk6?Ŋ:$ Xx;祴R^܁= >lU/=41o di`]M,걤?+_[|gfrli?JN0FXC-Cf*T=c#/T9byȻrS*g憵zM75۠7|M ]DJzJz>*XB3^۴P"b;Iʍ4Һ̈́.":?y{!yT(/龐zfS-hQa/%GcY&\V,AV96^[dc,yPR<kR}&` v '"m5_>'Z?ʦ<6;beLb~L=-UȨz?!vG~?:3#&5f^i.^ykLFOAUX+YS9Oyg"K}bxFUn )O9G&AxҊ)c}B- bOŸ:ThF! ъbQ°Ve3SS빊Y;2 ݫOXBj&pS#$b"H)5E7;VeD@~+R٠yíJ-F=xE\ !nPR6ƴ$.>z/jg+~2j3x٫ {~ 8tlKtw5+ġۛndD,/ey,sL,tX,df.S*ؑ7/Ǿ=cͳȗÿ.z%sZඥorV.6q6uC4ٝ`D#*M<׬努V<_9{2* 8m{1AwXۦ`= X\-R݌ spbʆ |n1lsD{6){xnBΞXl c PgYZ471c6ea01e100fec5362ee7839e80732ef73c7d64b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 17d03261cfa6b3f7a3b00fc6599df4c0af151fd9 1442fef2bd08c12a690c30fcec5d963d75c39fe6  CCS