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 ((E- 4D ?I Perron_Frobenius:threads=2elapsed=9.960cpu=16.548gc=0.492factor=1.667zXZִF! GT]ŗXf1-/6vR[2?h|MiCBƥEJ`;Z?<;o (jl` - Perron_Frobenius_zfqP/-B *1v&JTwlD{I2Ň]9=fcalHmj+게xz6oQ :Y#AC5ǮdKԶmNiryk9LJ1(o\q2KPrA1!:TCX%w&ُR H}pqa/cto_#;cox:)zƀΓN6qpZHԷ㺓,=:lhy^IXd}bbMel[RkcZ-*5^}3JSL^kでSwq {zuTlfy6[FM³a$u'.ѽGT):%L6+'482; }G jaThP > 0<5ӼSi:GѮ$_O6d)y$CueZAAg׳bkMU+E`dO+"|;ףU.MMhn'=;4LfY. Ɛ~:[%ڦ*d=Ǯ@<ܚ,(#q8LCS]it蘔gr*5Y\Xw]9cA.n%ˇb{tPeCYL";l ŭaN%aHGnqYϥ._0Q$ʄiVĊ銟 4 >=:?*uUF9pz'?qSZ0ászZFݤ̂16}A/zSjGwXks{MK?obK,?gۓoaU[8vمFƱ ˏ=mQa~Ӡ)LaW֨犵$*x=|yg0`-U!{U1X ll`*5.KQ^C;*Xncq gYZ7zXZִF! :^]ŗXi%DQ\N`4&T!GIđ춾^ N \}Gy6,Zӯy|:uG IM^Rs˸h%ŠdCl<7q*WB q>'3!=91Z3h~hep٬2~6/"9ŠJigaF.[oà TzQO < oY?X-U#*,|QV0mJEH͒)p"@l鉑KL@ ;W;7{w;.'WvSljq@R\<ޖ5}=?X7A|3ER;ڔ;%_&VM