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 ddl w/ ZF-IMP:threads=2elapsed=1.062cpu=1.240gc=0.000factor=1.177zXZִF! ]ŗXf1-W^j_t   ZF-IMP!dc ULJ\bpbrf`D)X(Ffi`Icol]ct**R5LJBMp &1![W,TA(Pႁ[њkl]|Fii:RJ竎.y{료EU8k el K|5eh%C@Ư$Љ $0 ;gYZ7zXZִF! m]ŗXi%3waQ-9.v=SSWyt}0c[eIC8xD c!p>@Csd'㿘l q{ P(qY#O:%e2%V7gx4v$d蠡' ,UHO$ƴD)Rߑ}A[<Lc<Fc8}Q2U UHU 3,Sate*Qʭ;U_x3i03<%*+&Upi[? D89nr]W\N(_5!w"(U1F*ߣ#ڂ /%dIPJ2 8rVgYZ14de2ca1c0ea57d36b2e47b9ba38300b3eb74209 3d95ea096437d32bde576ab1e2813e5f03f1ba6f 6902735925d95695d38fc789da167ca9eaeac0b1 6e637ae043dcfabead8d01712b845e55b879a400 81ac04353fe9f4e7b246a9d98ba0661e0d1b5a44 cf84e7a532bc1b4860702b59538db46e9c6d011ed38e002fb81c6e684e22dfb9a00446f1cfd993cd 666f0599c9f97bda8df627c8c0f27fa7d443b1b4