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 c1 $dfl{@3aiFzy,8]pzXVT$̪wyoMp! J%'0DC#9qZ?\ e#kªxZV5u4p,զ{W٧ -}N"zF I5hGsTk]4o'@pW03i<"qp:}C5V9 P@窩&6pņwHu(=y %ȅnRG<5_u.:\Uϙ azشlnH7P6&)[&=n'ͮoI9*ǠT6Pav6dwJs/Lc %*1e)+u; 5D3ϲz|Lt8 r[vǞf-J3l6N$}E1H2P}m۱$Qi3# oXųs;^TTMZz3 K:+ͧl^AU-4qf ~A/'CTn'UmvѯΫD[.uꦐ4~?OR?҄$]1y/t'e̅z 򡶬Z{C#'~`v6aSNGjWaX5ަR~{>OUm8VuȐ]ah㹮ϙA]uﰳvMaV8+<-c%ˠ1.:i\7 <,'=Q\I0 ؙf}8/JV3q.iVY*XΔg+ BԟlvUL9ªhRUFfte<ʤ/tb=5'n4>1+v.IyՎPZn@ /EoREϴW:P1ߖ8yC05ta,kJl)\.k {^{yG\ژd_ Q<6+O[@h1) k)|5k6 K&Fm\ $k!X"[ UuȩI^Nx7-7o:Vr$Tލ4a[ :}Cd"Vm%rO\H[^w ӱ2gYZ7zXZִF! 8]ŗXi%6yǐ1A[m/kGcJA?ZT6;Xܩd26FGwﱺ_ܺH>d)/[AVv9M0O͢W֤X9Cg;Vs>z]guy0 Ccrko}_Xz[/έ<\/NY>Z{n<6EK0mR6QЌ'Guul&Rڈ(,[_1\(tc7OJsNܱpOL<'+RIs/@ِ6 IZR8e/3[\Սq|~߄?XVݕ[pEuʽ\ڶъR P 5;a] |_O5āmUr4 ;]`o9D\k0toG )+>NyAڤ )r ;avIA Ekٌ޼FD?GslȾm8ث!$q$3<**rikTvnxԌ.tC-g/eOiv0$ "/ 1ny-\};YL;J|LS;ʲw{"oL)k].18SL0Mz*-{tH|/فȰ:eFΟJK!q-y%] qi%$gYZ0e2369879c23ffa3af808601205c5bb2f112917a 1d0185456c84c1ac52eb1af2d60d63769a32bf0a 22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0 23d1dac6518197bb653bb2dd01cece9190f4f6a9 2932e8acf4b7611b21070ee6927f2e748edb3353 30afac17f29e367c46142872751722118953e506 37f9ef6fc85bab2f1937ed81bc66ed57d9389e25 4ced3075193a3da52704475288420dfa4494b4fc 4f0c77af82d612cf4d1f6af8d930c9b232f46a62 6cf4847e81aefdb0b84967237fe250cdaad0fb9e 7994a7ba3037704e6c7621623106d2250b6ddd27 848fe41a2972381d353dcdeee71ab681f1b6488d 8d8f1e54418097925165113cf7def28df2fd1a0d 9bf2a719c4847262ff5865ce539ab70d1e93ff5b a57d9982f519f4520bc5be96b6cadce5780761b5 e35b62887e26e404a56a924a6d822ce0dc26ee17b1684f193b1204941db7e33c4fd7a8cbb739e7ea 75cd3bd2f18570d903959c7fa605dab93056a383 bb662d998ac279236eb5579a0c61a505a3eafd5d 1 HOL-Metis_Examples