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 4451 dT ! Separation_Algebra:threads=2elapsed=17.991cpu=33.580gc=1.600factor=1.877zXZִF! hw]ŗXf1-qSq{D[.uԜ.RXE`WHH ̊EJD]A:[:G -X[9Vsc¹9dG+nWK֔n{gZL#OI"^Hi 䉸i&фZHHC}bԥteqWC0=L "Efq<ߋuqJW'ќ{Fd'Lo VզK qTVʹOoԴ.hJ42 GӶ>I g.$9 1 Separation_Algebraڙ8j{|Ei^5 mZYQBY\.}-k\{'m m: #\Hx(ǂFrx4'>BϏ\C$'J6Z:pl̫r@:k,+3&ɬ+W&32:z Ug滧:A1Ism zj4\Kv(d8W嬏~8.$5OMr4ǬŌۗG?m-(KE ͕Hˇ(cw]m34( lIf"Lmyx7~`K>>5oppnX"5kMQzK j+nn'Q8 CNfkW#LCF_&%}b 6rLfZTؽ ׭W@\Vo|(FY'sHiqs}*H%>猈&_}JA+DOP/M0{Y=v/֘(zo􍖂ط7a^al\nC ]r-_=9N 99 f4^Ì<}{;؎;f7ÊPqr&;(›'Oٝ ¼b9ngUbs"ϭpYmfrk b=jTC<"=SFfON|,۰]DFH x_p&r—T 9G4sֳ>b7ӐHhC@Uu mrYH/OpҜ$X `cMQYg!Uq.$j"_o ]ɬI&jqt)ݖ0) (910ץ} iɓ>>>hF-g!oN5Ț Z8 &З~#wk"]&5R\~ 0Ɩ唞%;au3'&a GQ.+|54雁~fXO ;EZ1@fA3L(L31v3f]@wgYZ7zXZִF! `rc]ŗXi% -ڑGDnM&ě< MZ?E14ՊDz= P~43^[hLMt==;s)sMJmMq/$hU];>Ǹ+qz=Uǚit`T'- #؛3r$14$.D ޣ Gl䝮}ho+SEPr\ @a3+