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 UU 4 m]]FOLP:threads=2elapsed=1.107cpu=1.112gc=0.000factor=1.007zXZִF! s]ŗXf1-):49zleRna^b  FOLPYB= RPKO,/BC&G{wg@3%b R_fֳɫN[Wpmsv\/X AvuO< 7BzwrgYZ7zXZִF! %z]ŗXi%Bl\nK )]9c@h]E3*vg2.$5!dK_;[Tv6{<²ha&DRr3閶ivajxyM,# 0Sdm]E!븢|s`k2版KWZ8 85kzB1דΦ8Oų1"]:9o눴JB˛tDnF{`U _6(2&2(+Xn>|1q7 vZqR2tFr;ڶMWΕl Lx"cYoو|j5uC]|KiМ0gQjh8gYZ023701bf174bbfa9178ca859c7247367ee0be33c 18d9c0a577ee8d671763286ca2cefba8ae15b2a7 2bd9b81412f919bb4a49633d92a29f1f4816d35a 606aba507b4b8a629a41423d6dd140372765563a 728e960922fc3a9ed2e9f47290b9919f71026a4c 7e382739d4c7b05f9ba4e611c75c581c49fe06a0 b92be31af05c3ce26288e844608163c3cc6492b3 ea1f88875ff378a6b7c631694dd658a1b4dd761f ed2722b7a288eae7bca6151bd94645009ec5467a0dae525efa6f84ecf34af93ff7cba31c2592ec0d26d1994ceb26e95c26badba60cbca53905f2509d