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 pp% T4 w TortoiseHare:threads=2elapsed=6.898cpu=10.084gc=0.280factor=1.467zXZִF! ]ŗXf1- % TortoiseHare/6vR[kG+j'bf{9lfLXl#ьZ|VP z5GtBX!8>GNX.`EEb奏^ ה' i(:v-ȗP1&M|y5ϦF"#ĥl{k9-Dσ8ʈNeTGg>!011]L0΄140D==C g۲Z?a*@ ]2I0t>l~wNR7tȾ~t7TC3{}AؔDUa9t)*ܔ J|Ԍp4rAZ\I)I%^XIW%dսڸȳ| /1Sd@@-HN02Wq),Ddi`Jz/;OcKQVz(#\ZWb"j, Q=>1n%גwxD[Buz41 |%J`RW^ 夊Hq/.Û\`A RXyj;6 EYV5GU{Gz?Ќ!(ƅlYv%C;ߍ4DYpJnk@>l 6%gYq.W Wud_6upbXmED7LGX_֢.KlMy9i15Z!b Y8dk)7E* 8*O,XPݏ߿j'̶-04CYƐ'˻{r0w&L[SVoJ4_:9$E;j,~!Gӿ:Af], Ҽb@_3%++ݠJ!ԯv)0L΁%>8ެlǩ1`ŤxB~1qU,{! 2@rXaWCw2$T}Z9IόNC kWm'߶[L&BӾf`_qcGyk@_UA`e>R bJ8XҨYgYZ059b39b3c71e408ea02474875982517bfad13772 0b9cf525ecdc35de6ad40e0c86797868b5ccc5ad 42400f19e8830f3eb7eef1e599b0298d3a617449 8b68cf377068d359bb682e8177940c0d05e33582 e6620216318191273215b663199973260548bbd2 fec8b66b788018618e3c3d8415bb381ba89fb00880f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c