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 BB/ dd %w Topology:threads=2elapsed=5.718cpu=10.824gc=0.784factor=1.897zXZִF! A|+]ŗXf1-/6vR[k5Ksn J?jrj%$ %`{0C/=/N@> 8iʳ Y5:-OVQĞ Y3vTH5/*>.gw3آ/Kwʷ.'Q6x N: {+eC&{\;Јb#FzityDF,fbq4\(sY40gec( +䔁|pٴ(my2*sf?hVXYc@$Al|f+d;X"&BgHր~n |#ug/IEV L>^}cO4Tox<=OtDK"N@]V!&}d|xH|b;f4RߪDub{>A+| !;FY9s0v5K>s+i6NGMIFˉQҏ<0I*^l&ѻVF9U'' =(,$>Q!j}8%A'7pmU7s#T 3?v.8V ?٢Vw$@ve^%E Ү gYZ7zXZִF! %~]ŗXi%iS݋m v]T~=8IENZF-])zW9KX[f>Ӆ|򱗴끰X|il#}f5a[diH b>ApE)B)܋sS)ҿkҥD3^EwM<|{$Rd% n5"C#UA7|RR ںHэL x[RR. $ݒIf$"m!_;g`!E@)60s xub jΠF Fw/FCaWn ^iDm DnvTٿ&eމxϭޭqHC/S 3>uQsa+-#뚯=p[dǭWewBhݰ_`.= K8tF Q8`fHSDj y`uXb^ [tT87S{F;vð͢~7E7U~*v V5g h1jTʽ\l&.rtOS]kA kj4pT-򽧡dMJ`gYZ11a192dbb9af7695fcb546ff21897f89485e42a7 46f5cd40ed810c84dab8731775bddbc90e5c8f74 48a026190dc76ea6b5b0fd2837131bf4a4df2f19 7f0e50d281e96dbbdef4c4b2e8b090d3cf7e511a e09af91f36d3b8ec35dcbf5e10e1cd6d0b8f222507addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988 2c8670420f1e217147d01cec9bd2eec9fdce3aa3 c43a68050ffee06faec10563bb7ffc2d737fd7f0 0278ce24a4fa5f7742b14086f921fc6e71b1cc63 6e3e0d9e1b2e76da995c86878cb16e430f162110