SQLite format 3@ .  YYQ77Atableisabelle_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, "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 )  E ZF-UNITY:threads=6elapsed=5.113cpu=25.084gc=0.832factor=4.917zXZִF! a]ŗXf1-WHIk0p䋎dh֨/+aHe x M_`B먴!:״Yi؜ǯŚ0Xϑ-M<ݥ~?/mN5+|9,x 38o(hanYe^A=a8rehl)/u$q=P Jإϐa&d 3L'Zj;&^+=(]TfwͶ@ N&HV:$Eväw諕ۺiWɔ n\n㎇35n ~Ys_l f4Uub4cSK=V/J#Jk@d   ZF-UNITYIW7h)=4 57R ҇uw 4no-/G B ƥGek+~q>X{ܘ'QZƵ.{*ST;[yk9"7vSGp0NuPսFPS3};/-h- ꨤʕBe?ŏ='#5K\gzȺ@l4&<ͥT!Xݺ=[%&- f_h.Pwe"5u"%2˓UlBPD|2#o 8ϯU!:aWȢP27{7۩1&4^$^DPS4G{CC}J5fUMf- 1y\^- tV?ͪ77 ?Z"^"o4BkIX^o4ق|1Au2bvX>1Fnwpx :SQMx[H .7c,,i/hJ [*kos{8.N]VJp;8u\)*ѓV=G΁b>T$Xm&ԋr^64"٫.Ic̮k *136̪sq3 JZ3XP~G^zGSQc瞆Yfu?u2< ZQ:n@ᓎBi5jzӨAC2p,H{ǪFɷ5Va\i X؁k%d H9!_$^.r Lo5^O7Wv4ᏋVsT7=;GY@Iyʯu6nQX3;A\}@23s6ɠ3 a:# fQfmPDpŬM:u*& }@<.#j?:mVSB}R{Q 3P7|2S߭3&]yHo~w ~oBjDB@;Ihh+2\yN? 6ۖFySZS6CE8R{;*Lhc9Ѣ]%NѤ78 Os(E*<|[>`>l'KB~n]QY%+F[wth(rYH3 ,!cM*INHcx%?E; kdkDoo7yMr$6=n Tږl(-m"K̥tGb׃ Oj?EDKGeXg !A+uԉǁ=<ct&g u@&[Qjj`,2Fz|Y)~fGEGX6 0l|w!d*MWmd'cH]*:nۡpv ^3gYZ0132b4851e2517caf08125d7cf10f3d657441b9e 0d18d96e673435151db9707a297874c8fb804e62 1468f0080b3e8303414ad73074621dfe5e79ce25 18dcecb77cd10fe58091ddb81c34192d228ac636 1de571610dd535d91aec3c0e4179958f706b06fe 27af5c70403d5039ab231e24bd6c7ce3ec57bdb4 3b6c17f313ce40de3148494638fe849b3ec91a82 3be1dff01d0f0eb700918766781c5d4fe9c54098 3be8095f7616207514b45f0c041e6900cd6a557b 411eccd1df10386bcd400c0819356d29a26339ba 47cddd16f693246e87962aea87bda5bb5c96e680 4ab183dad94d71bcbd8473aa7f61c93e3e4ec11b 52f301bef6110b3e25e3a129358cfd1b3bf296ca 5af7d7a72a075673330ca6ffcc8980c465f3ca99 86559328478a95db06fd450490a17b65ef89e186 93a63257b51dd919f23a6b17972c57c7adf95a94 a266815dcc527e19a8e41ed5e66590b3fb62978f a64b4980f3dbb344cf640cfad0060b6b1377feb3 b1b8e5bbe1248a480e021caa2a4541c23708b664 b9d148a9f6c5836a008abfd948ad3f087da46948 bd5cb36b5b5d1e74122cce58eef23dcd9b344f26fd236e8aaa6107e7fbe24dc74056d93851977f4f 565e7064975e8f6a7b6cade43b3022c7102197ce fa86a6f8638bdb54377db0aa8bc7565a7f86e5c5