SQLite format 3@ . BBh77otableisabelle_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  & &W L ] HOL-ZF:threads=2elapsed=4.505cpu=8.380gc=0.300factor=1.867zXZִF! ]ŗXf1-q恉 :NCG 8vۗ#Y1 h  PrJB3~<ߨ/$,kj'+W=~N! U Ìcb[@Ly~ynuꡋ[H*\AC`4|䡵(&0s\gl~IRM8ЧsvۥGgYZ7zXZִF! C]ŗXiɟ1qnAcP꺣3TAa߈Kvʪ-21Ӯ'Dj@`Lf]*b* Iɱ"VE< @بdup\QMIj:ngYZ7zXZִF! %I]ŗXi%;UL|Rk*jDHA>xJ2 54P '/)vڗPlC\J1aGk  ;_=uΐZXo\ u  s \r(Hn!eh%D=̱|!Ґ11a[|>/o#KDfT|lG頟}xD.Ŝe.[J¾bPd1YUe Iu0νַRJW+J6≋cHĮ i>q.S&b?׹wAEw[ 0|"b*-'[vь?cJ1+_i)Yqb[n'{P=D+<ʘϮ^@9B)CD 0qsgw*K0uo*vK{{#(uk2H/0&Gh]M-=U/{EN8oIYk ULJ_R"|YvYM]4}Dv^(KxdɁ;s5*?a3PQ[_%я<省tuѿT(\)֙rQR:<Y-)Ta][zqtS/ZV}>R̯PkdUº@} 0U& cX0N,i C"Dx[6reJgA۱gYZca82038bf831b4430c1fefda24e73536f50d9578f82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b 35eaa225201857107e827622fdda13b757fd8deb 600e22bc2edc8056b332800032b4ed87cbe79023   HOL-ZF