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 ' d ]S WorkerWrapper:threads=2elapsed=13.191cpu=24.064gc=0.980factor=1.827zXZִF! ]ŗXf1-/6vR[X"9߫TSݬ2KܦfJcTunLsNBlv=Յ~I0ɍ,?BƾԵ`[IxG<@4~qdA_H0{)a,% t{0u4sbBƱ=aAl?դK1:s[)]l4O)O?L ˯s{(}G^`53no. 9֜(ϧTx8ɬl^t yS-gqgK]0X/$ƟOˋeF΀0S.XX72 lf8[trH r|o%v;jfSE+EpfY I22P:l1+"Yb[䋳g{nj7@ DE*6j v&35ei_5Jǻg_gYZ7zXZִF! Hl]ŗXi%60nD&H7Y?ϲunpl|{i|T _ta`Ƃµ '+IPx*VH9F4Jqϊnգ>rJM&5OsJVo뾭}K?izIgUь܄F^FAH]FMzxH샙JZ "kT7SN5[Y&:&*<^zǣ<,ۻs~х]n{i¾؊7YHNcSYKT#(f.` `N*oϺ@w3of/KACK̀ͰDDH^ӴmV+d8<;;Tp#UyBP[) PK)tXSvo~@OOM9{rMJϒ(EM+X*wzh@z SΓF# xxU0Dh1:|FN;NuZ0E3[uE #ꆮ)$P>qG ^7*„v\ph*FG@E56W^4pǰ-vjyQiGNUhڰmO CC.onN 6yO gLKyH( 0z/$[Rr|}!n + P{l,Ck5SrcB5[E1uxY=0UB֎T-"di0'Z]Ol<|e#'ּzt[e_̜`?ȃShN _$]UWpOS@i.<@)ݨ;(`@؉/=~`LϑuL{Pa5FjIzF*@ @Eb # ne|$7Y |{@kdg-~ vVF8Yxa郋.<`Ak{C~XEIzE3):?i%J59Udd;4D/n[PVvS 9z6 *٣gYZ2379cc897cd608dec178bc977efe0d5201ec7c36e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 37a5e7d87b1de36723bc2e935ab779ac8831a48d 22fb12ef16c090cc7f2a1dc50f9e311e4c0e0ca1 ' WorkerWrapper