SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 cc1 l, ]/ Finite_Automata_HF:threads=2elapsed=19.459cpu=32.332gc=1.244factor=1.667zXZִF! p]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'h{ȗ"buͅU-=@j9 yvIgTFȗ|,F>,ӿ+B9jH2c⣰*aJX3[/]9z(KOOMӼQzM[_u Hy~` ]q$p3K{pSGW CY!z: )c},HFo{$;_69D4n_[0Uj70+eBoZ|+ް/GIÔc؜T_$y(;(1Yc8IR>r0Xgej2 Eٿuh8NMUiQ~6< Q+vuOXT06ZH00eb;}f1ixft7`e ,O*pc|5Ɯ BZҋRiGN3s=~W=/0)Y Ab:zL]h-`G,V}$nYӿ qIfHף.r rjϛ szLPpjs> q20pR͓ ~Đ6O!598F3d&BiVlNQE8#,[%0^48Ls Ї|T4B ~952c{y7f(&w5Pï! % Կ}ӻձ$dJ)D-cm{["J &*N+U&Zw H~kF7 2yqW)-h^VndhN*PU1s+k!KiK_h*;s7N!eFݬ@ ϹzCJ\4Sהlx 3 &V~Hj?D=Hq8]kkg'w!W&fr[A7䤕 <.>w,-JRj B Nǝ H&\@Db*S3Ss@zلwY2P8hC:Gpaw Cyt b}0o 2cIh+4Ò.ZoؑEPҝr:]\;"M s`jf^r! gGW>PI|F@^H9Dψ#Z%&erg"W`y4nQ/ } SOph|p$Q4 ֖SnMe퉘%#2SZ~%yRoRm VzN~5z E#!')iO?˔uYA<LndTyE~{]5%+g[̵跊C6"f/`~>h?3fާDɄ8o(&4 Ѵ+:!d+5󐚽&JB~r$ҋ+&eERB$gùOY#fQdҊ8Χ~-! w]DۍDȰ}TdtQ xgYZ4015ad485c5842250fbd1c700a7b247974508c831e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 1 Finite_Automata_HF