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 WW&' \l } HOL-Cardinals:threads=6elapsed=6.819cpu=35.704gc=1.264factor=5.247zXZִF! 2%]ŗXf1-q恈<-¡$j9n0.H. =.;7,T(.(>*[ 6Pow}ݎ u;V䷾VEM#I6?-݁21/~ 1ަK88Sp>0S& 1+/œE66ecypDaԋVM[.L _m̳pbD΃=QR卭Ja,Fe=}MXɯ_VZ-0]jHm -Fӭ5nמ$f*)F|^%1m@*g(JT-浙>(h:Y!RNXEw9d TمbCn{ [u;ଫ$~llܛ&Phlg [-$$kID Va@h6%E6xQl7 Lsf9 l&n!BB aP"oرgYZ7zXZִF! !o]ŗXi%6#뇆C\Ji2=wzg q?Nf\'h]ao6tkwpJoķjϞNZswEdc#;R p@R T­k|C`,9ّZ(gp(QSbȜ,@MGb+y.pUS.ΰUd9p@%njWuvAy ( H,_E7: 9bG7X3o_,u_Ez'H܇ǒR Ӗ0}M}$X\}TeyfEpUnfd1Va[S܁Lelx k{'zOE"O 7FDr,)5>94ɽNU{=T * c 햹ЬV=m՘(j,zmD]߁-iݍ[ೋ*tR ޴FWJ RH#%ƣ''';ۦiڏkL{;V Mw`-@:0