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 `C d % Boolean_Expression_Checkers:threads=2elapsed=17.414cpu=30.576gc=1.924factor=1.767zXZִF! )]ŗXf1-/6vRZk3&pTsqFK9/mGJ&hr.4%~"DJ/js sHPTAzˁa5ojy~H}|bȫ1-\?#+"S%s%Nb6 \yHEn ]j%mϭ6{aY3FBؔ}I-1&GF8 C Boolean_Expression_Checkers7+2t {Q E9 GR*eF7$~ hĖ= >ENM]+Cm M^ H%s$,j+!2]Je"Q/.sʋ^}.#t*\qw#Enj^;kYΌvñd&M F@18Le5G[&dn4]f6TMh(0#5Ihb}岺&-qWdկ^_Oqw!{WG_[ e7\V,(y0oj)Cw3mgYZ7zXZִF! V]ŗXi%DQIYWtu {fziuϕC}B'H.HXc9τќ[[uB眊h]1a\ 0-p_=;ݗ&!҉PXK;Jdw`rδDcOzAЂj2XnJ@JaqX#/osf56ॢuh^2D且@l7İNwry FZ//>h?ԏ(z![Erʦ.=Yd0cۻzz4K4bu\ m{0݃-9E:P'6IqFUH ˇQ⸹9 V2FP:iZ޴'h*qUyH.TV> -0+ǢPez݂Ku$뙙wm!lgdg~5嶽# Sʛ? [ # _.d@5+zLivm{'*nY*wt<(9yA5<4fNt9Gس2Jjf,{ ]Y1(4$F T0Htv@mHS /d1-B p/10VCao?2۴<CF j%|vKp+֒Qg);#\XéK񘄊2Υȇ_:tOy |aA.*gKɖ{<ٕQٚg