SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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 % ,L ]/ FOL_Harrison:threads=2elapsed=11.856cpu=18.600gc=0.596factor=1.577zXZִF! E]ŗXf1-q恈͐7ӺV #`91knTyڧ2F ]}Pz36f5~n:J7!#=ŤUYz[8fMRz[ `g;ᗌ/n5jqpݒ- Zw''g ެzZ}{4n 7G4>"1QkcFՖ‘"ZbW8Σ]^`&'q3kgYZ7zXZִF! {]ŗXiɟ1˦r 5IfK",t2686x;PjH&,OvC͂VNQb_vnQ}=Ƴ)H\O a"> v#@7Zj8⃱gYZ7zXZִF! F0_]ŗXi%923Ta4Z{|2:b@]m%T~WV!:vgu^vN)Fs/]jFd?q>n$_m_#>@VH|UӐ'Rx} zp*3͠.K<N. )>t"Zv\58JW9"L)oqLn|z#q~;A_RhTL$TE-#CaS+ θI{h_/nJgg|to,/K1wsjXV$gvbbD2Zm/[ScaO9sZ@y?bp2Ѱp9ȸ^8CJyǏZ;c+|(O$׹9BF "8xbetنoZQ>Qu^ٷM0_1@3F>YD!M1`mjޜexa␨AKbyƳ)zzG'հU.%Nn13ٸ //tAj)eW *14ckf7Pvn0 TA.@f[d6ҏE2.2;*icU?a٘`AOp#*d^VvcpWXڼۓq.2 8+k)EVo#G |$35{F>j*{vo#@ x2URCsD]coT :4S!x% #?#a޷yv~veo'J 1bKʨ^T40^kvkIS0 \q 8n8k' 21X+/9КĂǎ 8MR zړ)xЮ<=Jf6kĤٴd'ӏ j&ˢ 1ҩ򾢱֌jvUWAz\?R"y/ nxP\\wmé!ZRB}_&ً- .|6^zhz!2Үvҟ=݆gV%M\Cd -ۆ VuSs1=u1.u)ϖLرgYZ52cb956b039d593fe92c85f2104db0137d82b800fa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a % FOL_Harrison