SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ZA T\ S Regex_Equivalence_Examples:threads=2elapsed=14.637cpu=28.232gc=1.816factor=1.937zXZִF! s]ŗXf1-%˓:[L #cI"O aU{FNpGfVߦ(  A Regex_Equivalence_Examples LԖ/pK~k(˽[9dc 43\t~ /m@5o^f0ix6Bx9 kxm$-l68>B+ uv?3RFmS cنIUxP\ 4(D_I\ FCƏk@lR&c@ik6EʰtY@f`.1񐹥ƌۯq_MЬ_OW}yޠ=E99z)ECҋ 6/:dA*Jٙi'tb~zIQsgYZ7zXZִF! A]ŗXi%Hv5]yjQ~ا cqbz6Sb짻1o4 Tj8t.vd=hK]DXn |E(؁?ZbhҲ4h-\lЪV:`>uڇX9ȉO~_KrHaYg604ofnf E@X'HmfGlERx%DMpg8,|'엚5 Vo`&1O30fK *"\m  oA~0 ybDǏJ#ߨ#