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 }}t7 $ SS Source_Coding_Theorem:threads=2elapsed=5.435cpu=9.876gc=0.208factor=1.827zXZִF! / 7 Source_Coding_Theorem>]ŗXf1-/6vR[]E4dQ\.Iu*649lu;xJc#^uy65f4qOjoDK^R|΂qI#d˂2rw+r0v-g[}鷘y`Ydld|" Ħd8.jtC`4,tA/QK) [a;&裾Ҳ A a3Q>5 r׳'x/ 8h#֔Fh`.j·^`)!J–c52;VZrJ 2;km됟܈ӀAfP v<ON%YΘTf$! Fo _R2ǃQ t3JR 3D^N*NVXE5(zH|g$j%! u@Q PW;R=4fr*~*xkTzےקZ~Ea*ݿ`:ʝkyJet-Qݩ 7bh" Xqtny֧eoXyUlw 1L`e>{v}z.|86[b{T΂G2rWn%~ki6o5Ht Qj e&)g6m|&o8gY('<Ǚ v'žZIbvi<^\n?B^ߞ6$=NM_ ugYZ7zXZִF! %m ]ŗXi%:4h22u QߺZM.[qegɞ‹kT$ä|h{g﫥Ҽ)8pC#ۗc(tٞ^K/9~GV aX~7 ` Ǐ oN]{or+v ˍr~D:!7⪥gv3xB5°V-q&RݵZn,E1V'.³O:J ^b܁cѷL4RQWŗ8Qmh_N /3t;dZGi <)-A;ZJ0/:wA=oEk//ҍ=9s@li%!` _o1H HBd\·7gx:RXa&賁E"~%]gML UIWF.5O Ar]}űSsz{ݧ . @ |CePk^M/E!~ܿ=M620e~/Qf?,㋫ %g5_bFPN M YwItiܶ%XG t0Gє#AU,O#tR8쪿ΑQ䞗uJMff giu&w޶/"53)臍Ho aruӯ>l1Tv9ل^7@݋/4`|;