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  U U 9  +S Decreasing-Diagrams-II:threads=2elapsed=26.927cpu=43.780gc=1.304factor=1.637zXZִF!  ]ŗXf1-q恈<-¡$johkX2I):6{Ohq\“g:M0B!az\)yd jF8KF7$ck#ZN _ZG E3tF**;&=*E{ (&]=ՙ!ȭF~?Β/~xF8Ԥc ;FVm 3:P.% POT%cG2rC Dj.Y4lTj8&A2C mIk4T]{4͟K?4`D$B\iϜXxe`X% j2rR]KB tЎbX(?%]*>6U2/"_56ik: kJ+hOUXo},uBP砈9 -Õl/.k0{-oWw 1T? ˂aҫ&< ΃"8~0.@zɥ?2DT)dR< Ø WjE P3pǯz 2|̬*݋Y!̤k8tBBlIE 9 Decreasing-Diagrams-IIG8/pS5Sk3Dži\<G?bU|C F |VͲA) ) nK<`$.-3 dB%lf\ !9t+nS6u䔂f8`,)2i_kۣJU:%i|i^15fq☇v1Ȉ^Z$3lqүg9Bآd1?/vgP4GjJ6^c>݋f,(~̵&1rdžj&(:yM Ix&[թgKٽJ'.tXФc7`OrL˷/5lBDI)%.m$6MCK"z~ ( ]O^)1`g}xLM=ut㈏Uk:pOvDNeJxv2/ϯPE1u`hMZ:!I3_v0{̌}W/yceH]̨a^Kg~DZ0TZ)P i ڑBgvlGvTH TMdfa)2\fpp7 [q<ݍkD}P+ꕸ\Qs2)mT]ɧeҤ^&f1aRDrL%h.fc +|$"V:eNOxp*S {bowLZ1"`IU[2 o,I4bn`APp&o2*U QA}:Ϣ7 +@jLᶄ=bP1YXP] t5h`QHa-xoyF] u75LK ٬[Kv R,72>`0Q8S<^.M$v-wxeR|T< <Bdcd#t&^pGXy,F4TOYHP┲4lIa*9nو͟N.Ȥujh/6@ ϰ6?Q/ XklV6+l2G*C+4b8'^Z+mwP \~"5"EQC+O9))a P\l ݥF"E/s-WL.D4:͊B;- Zb?g^v)Ɠ bj'{RRr]ZĬO&a,! nA DE*g뷥ޑf. a!61Q$clef){"şPͪf/8vd`4AXFJm_܆H|r%by㒰sV/<=p{|BY *Yns?vlcd(6K ɵlҎNֵ)ɡ&! qBT#v_Ʒl-A}K52x[87m_%I'9`tmTYmR1Dא, lrE7٪WRa-<7u`R踳^1P-ƪ@*)HL!Oʾ%moE+ !FbFxҢPb>54)-oAIH۴H33Uk%Ȍf#.᨝ +{ܿɲJ7ԧ=D`sq%y"SG6mc8aؗ^hI+i_t oA׋_2%LV6{ )AM+r׋=- ")x7}5C>'YFkJt?K(@ϒb0F2Y>PE wt݈߫oE͚L mDWFK#<)}rCD7w%AEoGT(j[ŌîjRpk^١krswl:Athbf;Q5E-/aUH[]̯b*e`讀ڸy./;ǜNyZp:a)*B\A\2A5Fye nl P+([ H=:{WjC(! `='q