SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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 ~3 4lt ] Functional-Automata:threads=2elapsed=15.510cpu=23.972gc=1.252factor=1.557zXZִF! ]ŗXf1-/6vRZ#գ9mB9c%:n'U]=wS?,!:[y$$!/-rkwEVTQˎ=72EHȊ4vy&?W^3Qu{!D2)Ypȯr{|OofT˴c/ߥD֏"3-`e5 %pO{;xt{JI0oV1 UY%TDonhe/\>\bmw[R+/G#}.SG1b<ԕt^nƇ蟕_.Z &< y:O</8]Yhql@&Za G(ǐ29Ot[*~Np3_kisw+7K%!^C ws[,BE,P"\w8m^Z$;c+cgYZ7zXZִF! 0]ŗXiɟu𮓧xy:Áln~"p&l=@YP̚ND+ pSU ϘcS,}{L.".x^#"*s'YRd#\KQrʁ:'k.F "S-ˋ_Y/K,Lc΋,qg;7"mWN9k+ ﰸ&ch%R9a ԙ .Pot+cTZtPSf{Kly )ok"oV/X,) !'^U*}YHP}-;yy%mϲ.WkGi $"Ս$ PI#.$ f_cO$f__96/qQry%*rNn׍\E'cM؄du\"= i++濛 n#4Gj$.P3qAWuY&v@ɐ8ǜ|hd7%s)S SpqIS}9TIC?KΌN0qh#D#- LKEx- xĞ6X"ӡ([G(3-,vÄ1tFJE>JlRvQ ^bnjU'CyՊqI#2ߑ^ljE @frm]vDciOcaf>K㢬$!O$כJRSvmHVe7&u3O뜴擇y:J1q܂%gUlz2Hػ Wo&4%E5oՉT^o.S @ dqe/hޠew(#dzͼ`))FIWn|A)1c0d98`.IH$n*x 7P}å<+eu* ElJ)d_|QPIx RuE·-;r[_;M5Hڏ]n[<"rdDqGNQVڑ,bh>?ѩ 妴t;8bzV|-m&džeMWJزC Βc/.;h=Â)w4S͕+1ᛸ&H帘n/~}*ܹΊӊv9#gEEbЗ̿qͧ]:{vcC`fW?i<ջΨxTatvCw׻Y-@6D^s?IwqT 5RhMS[TI~nF.m3r㇗YZin,Te 3tyxt7]ܱ zXq