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  H5d$t ]/ ArrowImpossibilityGS:threads=2elapsed=5.538cpu=9.820gc=0.500factor=1.777zXZִF! 0,]ŗXf1-/6vRZ]o S.AMLfDB4ܮ..Wk׃OMA/'I%#44o效B/qIQ+6SqEhgԊb'D& ta{C=a9Qt # ݻBu -(.T y+UjY A0a(ڰSI&k \&IؒT*žnhum3is&S4hI&ҍ?'}9"9~gYZ7zXZִF! ?]ŗXiɟI]gQDV\"-Y_` N)]V7H9ݏ.{- 9B"Ch&w I"`r3e٠7 tZQ"e9'P;r^q>akf a^T~gYZ7zXZִF! *]ŗXi%ή++ɀLmw2R @a"H,3`PU#[m,U>cN_KH }렃ie V^h5QeI#"XBڄ Ǻ[B`HQ}.zv_A6d_ܰCF~yn2txƍ\Ba(q,WC6o 4Gf oNA(q˒'*6*P9Ė8QO'2/Z[oefq}ٽOV D?fĴYHI '<ĥBeg :nAkCܾoOESg1F\Qb,| &/#a}ԙZ6Cՠi('ef |1 b&5RwcKO:.2B;=myvZۃCp?y׸A2Y $lAeG/hP20j1ZtÒgI߯\ȗʌը|gި|w`#qFb$opTPfBb &9U) "thh`s'1ܦ"Wb;"{gVJ*l%ťnՑCjin0 9 BBKIŒlfTQ}?xLw9$ԬūmG0}cWu9fAiZʏc12uw7r@ݧT_?gYZ921e3b80d23d679b514c61abadda92f18903514200b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 5 ArrowImpossibilityGS