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  d d! dCs9^w|T(I+MiI#U΅?W/r3(CilY~91YB5|0&3EA2E*A: jRL=iUAZxh MBf?0wő[:L 4T'Fs7-X^[o>K6S&7Edtk"#}F"vڥpB(W4Ht@ftVMR 4l؃\fq'Izm  ! Splay_TreeV7t ̕ {0s&uVÞaKiS;4">;h6LRgT5_[ 2 /^n߬^AMa$0mrE*{R)ĊgJ6x;FS絝Bg2ΤoHhnh2FBu%&3)7ۂILNfAp?\bxu6J0D8`w+Pݤ,n`7bz_eyήfReWVtk`BSOבM F#PqOH { Aݱ؆6YsQVf$8+q?o$a)@*h&ݑhڋa<ϐ8Qr+ ,ouԡCȋl| ][DHRRIj@d4DrhcS[@YK l˽|iv0? PB+;/:fJ%)l@K#&'{AUWZm1'FpQsUM8F~?oCr^77ѯOP>zVLv}hKccz'ۂyދ8ב;b<*uG4ﶇtY>]B?h(_ &5:Һ|::D; I-Dh2zv`0_m1@&&-:G件(56/tyDAo0ndDV_mahM}ZX'[AͶ?^?P| ي&w> niWQ8M G) R5֎pr0,(3l_|*"jYM-*ac7M ЕV땘UM% JA!FLox2S%N[;ojј꘥:dl# PN:kx.cA^÷@? e,Y]'exrtjj_>;ᅫkTx>:zzjv5ŞІ3JM_2hP\%^+.F_yrCj?q҈cK?z7X܎%F_ײ֮laNE%-Vs܀yFGSߐذ̃-yĂOjCbco3oTE5i"nnL[ȆgM 6'*mL<:ѩbyjYu`{V}Y>!Wtyi x\WṢ&zϫ#r J7&)a wAHY-Dhy&j1F\wÛVeԯØF ^B .W43<5)8wg. qK1d O^z׽Cr 9w ipmHqV]>uȪb\驾zx`*7B} EGBx:T]j@v8~ ŸE {Q'9̃t5rj4|5Mj XV|j#ʰqi AC,Z3S1h+}yʙYJ :Sm{mAvf!'|$jsHK2~jH+E\g>9_9xdv4Ol'5VHڧ&vnMd e7w];Aҟn`h^4OlG'[aPަ&&Yc4{'j#`NAi 8AeD&97q/"n6ӤIQPp< {BZ4}S?&eͺh&YYү/9S3`S8ߓS2FqZGG{^HS?ɏ SZZ5-?l}XIEhjT UĢS.m^.\7d /۞Fn)wsE{q)gR)Fqa~P08\D|[b,Ul g9@y 5z_or7KDV }໷"@9;*4b4{gYZf076970f966b9db37554a6e9c26a4c0c825ac5d900b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c