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 554  E ZF-UNITY:threads=6elapsed=5.080cpu=25.044gc=0.832factor=4.937zXZִF! b6 ]ŗXf1-WHIk0p䋎dh֨/+aHe x M_   ZF-UNITY`7bjd|@z6\lr$ L 6n`l?TEm]-+M 褛:43 dVRvKU_D.k벺Y+ A~ ~*ٺUS{Bĺp[zt;7 ٴր/Oh X@&Ȉ/ U  ›҉ lIYׄU=3Q~2d. S6]7_m򀍰ЮK {OH|`ibS/w)h $CZxgߤDSGXQU F ث6<0I?җ{3d1Y)*\+9mR_ֳմTӗE v8/p&2֦◩!3_LɇJttyk]J4z{ׂ00 ;}8B_cG(f`7'hDD/)^7(dc Tj&/&fjn>qDs/ABI޲3$g(݄QJ/VU^禉p W>*/^Xƙo9 sNf@NDCxPF<]hD^nH%ڥxC6p434޵w);\TDd:Z"MqeT~AvK* )YL_k̅%\ Q2qԗ*%QPA%@6ugG%Dc YR4a("+7Tk/+"׈Es;g(O ~ D@`[/.}՗%RB3Ϗ/tVS3~XAYl!=SgLyI.\LV#ݖDt}CP˽312PVs0r]󼞪RfNΛR,VVcwԋπsl"L rp&M7{qL3q\Q#OسBQ]&*H9ATY$ Ȑz2x.LQNkR[c|•#t*R}MNJl+?>1CPŮ06L[FYcIu"s,R#f#[jdOIK#/HюָR>ǎuRӈ){KWb3P2⊭t󅵸CÐvHJpzcW &D)%^ IgYZ7zXZִF! ]ŗXi%K;wO㈡_J+!̴apz&$fЇf*O[HWc+8̀*1-Iغ>ʆ`Iן{Del]n_[87i&RS}Po+=<Ρ$ؗty1xU9T [R* ѿHE$Ҹ\!^L!q$0zQ eH$"Ay=W= 7g PʓFPXxc kHW=bSvjx14Vmg `w @ F8]e4{t?O[WY|5Lv?f"- Rr$JϿ$XPs=n,R K6S7JN`? ber7Jy Sh- %]Ȯ .n%l|hL(It)_|q-ZoIZs瑗fQ۱Z hC@fs:$ay߰mjV ^Ky4BS{M`⯳ Z~ܗĀ({|Z7+~kƤɚmkSfQn8(ȕ VA+R0B zZN<ʬ8FN+s˹vDzG;Ck):Vspxz8Z ̈bZxqPk3;~W)0'xf]po!3gYZ0132b4851e2517caf08125d7cf10f3d657441b9e 0d18d96e673435151db9707a297874c8fb804e62 1468f0080b3e8303414ad73074621dfe5e79ce25 18dcecb77cd10fe58091ddb81c34192d228ac636 1de571610dd535d91aec3c0e4179958f706b06fe 27af5c70403d5039ab231e24bd6c7ce3ec57bdb4 3b6c17f313ce40de3148494638fe849b3ec91a82 3be1dff01d0f0eb700918766781c5d4fe9c54098 3be8095f7616207514b45f0c041e6900cd6a557b 411eccd1df10386bcd400c0819356d29a26339ba 47cddd16f693246e87962aea87bda5bb5c96e680 4ab183dad94d71bcbd8473aa7f61c93e3e4ec11b 52f301bef6110b3e25e3a129358cfd1b3bf296ca 5af7d7a72a075673330ca6ffcc8980c465f3ca99 86559328478a95db06fd450490a17b65ef89e186 93a63257b51dd919f23a6b17972c57c7adf95a94 a266815dcc527e19a8e41ed5e66590b3fb62978f a64b4980f3dbb344cf640cfad0060b6b1377feb3 b1b8e5bbe1248a480e021caa2a4541c23708b664 b9d148a9f6c5836a008abfd948ad3f087da46948 bd5cb36b5b5d1e74122cce58eef23dcd9b344f26c367f42b288d7566b73a876ed41fff0a0246a83f 35e13c1c8d9d7e2603b810de5a2314bbf018354f e6fb066219cbfe40acf1d3868e7ce13ae76c2241