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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info D D 14\, ]S HOL-UNITY:threads=2elapsed=63.817cpu=97.488gc=6.976factor=1.537zXZ ִF ! /] ŗXf1-q恈r|u2_QM'8əj*g?ǔ;FSC9Tc30I: Yy '챱mߤQ-boYd{6{뱔}(\o5x.8C-bnI7'>ډ/S: րc\cPfUxԦژS`~Aa#$1X-y3άlxv/)s|ſ8ɱKY#CĵMxKp ^NN LQZ9oe=$zͽ?+0RbXYXRN&&>ߊ3z&^Ms^0}l̅>t\Q{)'K:{Rfr S"Vnam"'-ʬl$g{>W@L ied, =[azhCS'gA^ljޮVah< ,xX<9pb˩tJ3[&!EG/_1I6i ncc X"!Y0@{pfmw;)8(r]ɂ9&Oߏ*yoµhSr╫H$|d90T 2gc(yM#Ⱦx$`q\OXnyf =} 1$G菽FդBl15:0tۮhtmP;G(Nxyar)Un1cŖ0#'CAamv ExbXB "|Q% [azЁx56>~>瀫Qk!xj*.IM"3P,ڡ jQֱw֙mM7;UbѪR_LK &&FyǥՀt3TQޤ4
y8Ԯ]Jc|Q[F{@!P^̵4 #gX$
*>)tgE'[PtKwneEhJ+0wy!v:0v&Tx|hX]e"1ΑQ0zO]htفf(i$9|hD(Del*mbe>DN$啮}^si0&NF,>d[1R} e70* _ %رg YZ7zXZ ִF ! 9e] ŗXiɟ1'x ^