SQLite format 3 @ ) ) .K B T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1 indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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 ` ` %xdd ] HOL-Homology:threads=6elapsed=74.685cpu=364.626gc=14.6137zXZ ִF ! 6l] ŗXiɟA5qbh, ggrJF3bT6dⲬ*敱şxi!owy"MV2*On:p}7+Fɯӳ1#csPl°&(vVxh`CЯ ~ie( &NZEg2Ʌgg&ڌLV}A>\h8Qx[g71MMQPJͳj)K*Sh\bA[7Xݤwcr\B3q^ 9 Jղ? ;Y bw:ysYmA'6R "-yLj%kgx_ 4cl j3ـ} 8Eq-sX,i<] 4),cr)ebюڙNdq__;*W 2ZZ>vW ᔭWBZd`QT/D q'MV(.YaÊR?'u)Me#; f(}`lys#$p-{DΩoظ X[6^͒#nb&˞K)hg Q?Ы:\6=*u>O1YyYiLiSV)uk{[,\6M5$Rx0W{PBuFa"HWdi䕖=x"=뮙B>f͵ˬ{RII{WAdbxY ȊK\/88f|!ѐٯO>&*854zn (oo.ƩLTP';=/{n7#,˜mG3GRQ{?F"1/6YH][<mdĴrnL*RBDr*<ñFD6.|qwG RX ';*196*@֔(RJW&]+YMuqe7Nt [vJ̗[&LBCSm/d0DOhGKuȏCRu)HE$fKt]ðIܦq=ű