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 ^ ,| m/ MiniML:threads=2elapsed=11.206cpu=17.544gc=0.536factor=1.577zXZִF! 9 ]ŗXf1-/6vR[ mŒ#)/Z9j`UHpE)o{Sw,Ϙރ]t#&Ri;\SR}5zE+Zp![?[g+fv"6)RvδSv{1{ІGApA=$V1[nb] .?2RaBmyGxэQ(^r%`O?׎ -bh[~a%oahi`fv6{''1})+{f;GyWcwbU9m5KU_K?#W.;3O)Ҁ2|bVSCת%d̕j2p4Xˋ_Fߔϣvl﬈jRe' iq ɯgd2ެ!Ƥu-M7ʠ1t|PsU#XR3IA7DJTő:izN%o#-~1ѭݘ`CTݞp꥓Ԋ3HCXhumWJ{E}tU3^m*rJ?R9C;!5 2l),0!*zkSg'joJݖݐL4*JzsJ/4=:ys sT6JgYZ7zXZִF! <]ŗXi% ڔ3jnftZH%1KQ‹8J%9#[iT- bZNz2 02V;mE$Ԉ)^o)899{I-έ0xr¯iU &Jb8ۄų.7ǡh|V/!}_䄃3Ty`.b=kL6;l"Gf]&Y[t1+@P̐ihq-/՜g"_P %]*XAnׯE^H2__(Z/hp^(k䚸୷Gip>#HdN*@{$6y3^ t#tAzjˆ-韋uyZ==/;5,-Q0?A9Қ1Q RL,lԡH2tZy ֞;6`7GIJWQKHGZI^4 4W6"e*y4Qr͆("5:9esI87A `@" h#iҶ1~]*(QD}ZR<\RB%⋎B1eFsի5,?0_&4m#9xEB 'ƫ|ߓ:xH3a?)S1:Diwzi軍+gV~o9re>UY6{ٺGmS`A)'T̚iii?i08:,y 挚wgUoDR1bF 3U")6ƆNDeHO+KvPyΜgYZ1856039393c833331a63c06a22cd63386dc43afd 2966703151fa939b415652f68e324f575557fede 5ddd88c0b302c9863bd20c73fd1a0a8c15dd3e3d 62c3b3e1142af452f60b859b3cce934c6b76f32b 6ede36b043e0116e99f50e18e2ee24c7a66b06d6 9727fb980bfd781671f1e21217327461b29c9c26 d879a61ed00296ff00ab4cf4f19bfec06f3eb72e defc942b0aaab881d2c132747e38e140d9852c9a eae754a10a58624abffa70fb29e1e142f00b1ad93b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd