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 j7 \d ]% HOL-Quotient_Examples:threads=6elapsed=27.617cpu=41.484gc=2.444factor=1.507zXZִF! :]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%\\DkP*ykA^g6PzhI:;bLͪ+ ֞][qyē|lݮm@!_0"ԈHv'%t%z3Isg*kXY+yBK̔ '#~[PP䕽%)eoD3O8Nxl~W_cF0CGkMNtFVe/9&  h(gCчԗ9zv9MFҝKz3NanItZRn!!o *z!\}n籨\FMؿ)g?TA9IMT9zM(Z]~Qxnhtc,zbu? kEZuߜu6;*6; {&Z#z[tؓ!UE7[fc3E/N}QunZm#3G400+ogYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙X'6Y 8PE1ZxOJF=qky4{ܪHp#iXA8~^,4#nQ2B;p2lޔwYb)"{D 34x15-ҔeO'Y"eܴF>CcʌPܡYag8Pw|#d>eϠ*"6UwԶuSZV~gYZ7zXZִF! ]ŗXi%;v "5 -]tY>{M*0<,0A!tq8 Dl&vE#Pu"B8$/uA&Gv;2HC¹a(dk*vEMb8_0ַpY⇧ƱF pʠFסL1Wѥbp8<, P,t2 Nf'@>e/m}^k0mm5$8h )b_H*UG)2C 3w;3X vy( "_Ѽ%a#\w*)0pja6ji tc6> &D7k]z֗ݣuy4Ԏh 51H Ѱqi 9 {0kt5} O+*@o}ADA<΢ө0c_9gP3iWa&dFcrTD Uuz/BPʚZV4d{J:1Ghb>>Zdq_vcp/Di<))ҊhoNx\_>CmiWGќTY['rYvOfDƹPئHW( 5zGsv hԃmO1 Fr7Gf1n~;HZaeOhϨ9Ø]NJ,{'CpY7/^ɫ6 t)kH ]-*yZTорb>FfL0uFc2}ZYDF.Nڕil;#E2 g4bbQo< Xe_隦W.!foxA5y]%1'Mm(?W39P櫓kF ԏ$3f- ]Ta A(ٻ 72DiY3OGQ: Kj65K^>hL1;[DcͦW>aV?rhش+ôn&Jĭ$ (X..@J, -iyY8?蜭vz{ Zg=iXxXZe  ;Q;ll;zQ\|&髎^M#hq,.ֆgvW=1V&gPp-+LJt\>pl2w^q]=p0/KiO^PV}HYzNiF`Z+BgyuiD rjt#UY{qCܕ~UC /I2dcޘ6`qnhYP-( >p INjaT)b`5u/'D_^ZíRt