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 L7L SS Source_Coding_Theorem:threads=2elapsed=5.171cpu=9.524gc=0.156factor=1.847zXZ 7 Source_Coding_TheoremִF! .A]ŗXf1-/6vR[]E4dQ\.Iu*649lu;xJc#^uy65f4qOjoDK^R|΂qI wq/U|7>L1)?uwB=l9-?)x;qo crrSFEذP+oַ$3\`Z$fdfq ĮQ׷CBu"lcrL7ݎoj?sndEQw9JmuwzG.m=v-}z Pt()ì  9^`=zg}Zٵ.\3뎟{xxv#qZVR֌vb\`P?C;g+ψ`>{6B>٭]X1d%g4 7|ݫvЧAnߥ3F@7(έ1Rj:'_#HO2W8[o4/.]rJFgYZ7zXZִF! #]ŗXi% -ڗxp3zߺ5c*gB@mډ b5tZb,iNHж} 0ĉL\})5M}W܍֗f{oAqn@@)2&OT >4hd-`XI@CM/}Q|B.b/ TF3"׼=gAhd<l諸 U1*Rb:t#VX^ɤX&C>#檦߻ʘȧoОf~;NgZo`8­Xy j-ToAR)O<2JK&~Pr?'-#NRz.ku6dRK~r[ e%tly t" #B/&Rcwb 25w )N*6^V Իý$[Z*J5vg@=nIZn .H~OjO{*MY]rP7rL|gOƙT=/4_ T롋EӸ .Σ vl0y_|8sTV'ThWW-,y#yZx`9{lZ;ΗEsAiD qrsA%Q'qvy9Sx?lWڞmhkc-,FܱgYZ01e4a1eb1c0c7ec2ff101bba508f86636e29f414 060b0ab20c1a6ff0e4144288d88a86773c2bcf94 98afc084f43e0ef865628705ba046b901f906d39 ac28f3541e2f506b9ef5afe4d1eb8064f3e5442070d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9 f60747b440ff03a765b404a47b50b781d9eabc9e 57ac00825636505dad7737ee5d0282b048686430