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  p p |$ ]/ ZF-AC:threads=2elapsed=5.703cpu=9.688gc=0.528factor=1.707zXZִF! k]ŗXf1-W'UTxlFO` -<-4I?} c2`<€U2Xu]pۉQa>퐹;\O_J.DMUX*q‚^"ߢTV ڄ_ؽiAHUiȩGmVpa=a"u&ѵF!P2i) l 4 X:?JZyB^=`y*7gYZ7zXZִF! ]ŗXiɟ98c tؠL\S|3Bk_Nz\lWO4in5:KK$ې zLw;= QH] r m%kcr'v7+dbͳZiut\*Lx1K/G"g,_!}#[D[ xQwxix8En \8z39 j bN"~mݖgYZ7zXZִF! , ]ŗXi%;<$q͔(per'ޒ M'冸G-ih}:vuwhnO#5F5LmSFaK߲ C?m Ԅ]qTL2d8E: ҸC͊du影<lW!gp*m1,3HSκ3R=SP3Qs -*;XsM5fEaz:dkنh=rd"Rxw`+m]q;V<3/U}k:)L"[g\ʬM8 4^0>-TaW|{_OE==>vL86n/ W=Ybx|r6 m`Bp?lՓUvb ޭQ"ʍrLVrgQ7Q-OL\{@O"x5g[up #î"C<: d<[\1@ TzJ6e31*tyU1& ̠4Ba+䰖"OF#o'/-ByA7n g'3 4k="UuňTRmD)8 wjoS"91lL Bi Tt \ІHN#f~%êV7~|tif{{׺́.pI5vJԆwd=xH($#פ źPI(IٯY@MgYZb17a2da6bf060d442f2fe81aab361e0019d6d0219b4902f8e8c2cff8739e12b432b794bca1b63c5f 55371a0e5df289405658a65102c76afaf936010e  ZF-AC