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 dC T, % Boolean_Expression_Checkers:threads=2elapsed=17.412cpu=30.848gc=1.900factor=1.777zXZִF! "]ŗXf1-/6vRZk3&pTsqFK9/mGJ&hr.4%~"DJ/js sHPTAzˁ_HvWRgY,aE+e~Pޑ,5_$g5(q*ۮh1&f*x>ۅx~JqL*u8kMqL,xI{wf)fNcB0M C Boolean_Expression_Checkersyh"{sY1Wooʠ7t-t@nej"mƬ?z-6Đ} uX%$615`P OYZr_7I$Q15)ȇi7ŧǍoMwyr6|w,ͻ*҉4kKrb\1>ۧc N4ZTf(n 'dώG/p_ȫټ]h/t3w#^M6t@*Qh1jPU|ۦ(kb4[i#BJ>G#<IwM3egYZ7zXZִF! V]ŗXi%:2X>4Z4g Zo󱧦Lp )WyN Ge3I&ViV>n*\q}DWqj5V\kdfk\ :LHpJa( nwئ$<(j,^CXܿy=ciY`Qשcw/C2-J_Ǖ{*#Dr^@'E ]߉u8d}? Ķټ#%*S,*sJ*񅉼B!Z"oP@ERރv/k ։j,&%^>VO em7eutK Uku$DfP k0$lg;'dIcP߈䜟;&D+P&kdM- aUDYOր1tV7wcyKZ%Z54VˇE&F5ӘjyuE&., L}1Q.h[buwX"]Եl423w@~JeO 7ېCf|^ 9}`T$tѤz0q0xB?d5>cqB6\79M4nhùgɝɥU "\ўRd*9H5TGybw3R:.[1)K<`~Qzy^ ը,Xtykroy/[ fb N T1?Q ;HlӺΆ=HRrXqP`5K}Z[q0_ 9Ds߶$5䗉jqX ٠FVo[T'])z~d s@B遒 gaKw3 gYZ34b4f2abef551db8d7259261052bb39ac0a75954 34d8beddd1063e0f88c3cec18d55bc84f4ecdff0 5b7a8a74977f35c97745ff4512f1447d08ad5d6c 5c35e753de9008821a6118aedcc339f9365e8561 a8a565c4f899fcde3ec79b7254c1ad9f09f50fa3878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 74347d6b35213cade348daff365b338f4a554a12