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 44=3 d S/ Impossible_Geometry:threads=2elapsed=9.224cpu=16.488gc=0.384factor=1.797zXZִF! P9]ŗXf1-/6vRZ4&L LN֏fB ۇrO&c ӖM=ߍiQk?gɠkhy'힤Qo ԣZJ'u4sZH#^ _ z?.fM2< FNcH' WֆrH7[t.AMs<ֵd(3PM0O'~{}NQ0R_>}.Ɛ]dDrK]Ϭ7C9D:q.Ⱥ4űT-Dhh͋1 Lp6</?ma#=4|!\KrRf&Krt.ܵ}!]xGr@&$QSoU%=^)eA3U[.e\HjY;ue(.R4ځc"FmQ6ಒl]"ͿiA"%]\dWc9JW}ʼnXM>mHa [qmL]B~ Vtɀ̹'k2(X%q*UmNބfmA 3 Impossible_GeometryR!%kke'#UyncK"y09) mw!8Zgwc3{J:zWY"Zg22U#3r? %ieU\yG20IUoz곷\ʥNװ Jp %x!U=Ch{c+6S /B3j} BJ92nѿwHV[ NgYZ7zXZִF! 8*]ŗXi%m]o`u:A±srә(SD Cc{#4oNXD;Cefitnx8t[Zl40ͷRsR NJЂ4/h#30+Г Urrx!q?{(+zVW3RkyP kj@TgR1(%cm0$ _>; VG*PR/>+u@L\!毀L?:!_ߘ_HJDaUiVZ_(^?N>IKZ*sycAy r'x- H5U9`,`bxK0¯h+bVF D1E+*foI',g}d}ؤ&hfNe:s+1FZS915bq~ Yz3־$neqc)s3 "NCL$  EwqPp@bUBgYZ3367a51e5036112e9f9d7f26561887eb3b01d061 406c71d9db1b800c1ec2fe099c98f709095d5a20 983c956279bdf0c919f5f5ee051dfa1ba7563d27 a9355df361323a58832925e1744a3ae49783c29eb9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d