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 e3  SS Decreasing-Diagrams:threads=2elapsed=23.290cpu=39.876gc=0.984factor=1.717zXZִF! ]ŗXf1-/6vRZs88.Ì[rI,lM 'kY-<Sa½ FK4vjuNL~~nrc-Liʯm|c_U. k3I)p-IV)8K^DD)VibJl&5]>yHKmWeq>KPMnӅo*T0I-"iׄhMCA ƖڎmGd6I/kvm4|nɋACq!P%D}޶ζ+sQ?q֥  L0(X]pӓᏨ5B8 oio3pa 3 Decreasing-DiagramsŦ|TE]I8X-)\K$_`Jn[hYR՜<4Ӌk/ά.jā)/ E>QDru24Lj?!ױ՝73 Cħu]eE*KV@|K ;PrLTt]DLȎv,T-%[Nx|S5)ERӿ&^շ_[Et0iKyȴ##^՞zg%A#]*3yV!+* N@E5ڢ0"yvF\\&WWi0uҧזyU;jDR䡞= qeGWՈ&j&`sS FBIV[Z;ʙ|UpsOzzq-:`E۫ %p~c6nTT~.0ˬVN fFLB*wߺG~Kwʜw]U *wo;Upʑ&p]# ͊=}ScɖEBN kZ'g*ҕ<8-!{R+"f C2R ƅ{A2:dUN`5@xNPcc)ʂŢ &SR RNy'o;z@mDXKRf+ &=/)X+HK-9KQA§;[|_I|,`8"uii#vؽ>2J}ٜͤOub ܸ6u'wFlyzg%$ԶeHv."\ù{gcDګFn.n_E ʡ9ԡNGSJ@c!TY(0tf9 ~v7a;sPq3uvwm)'@IH o mKl ,(Æ7l5j uZgYZ7zXZִF! z^]ŗXi%qUNjF;& *+QğՆۛ Z}wR*8!0B~ꂈs0Ԯ[IchÓv8PH=+`]rςo!ɜj E,r䦹u;WY`ey{h9{\[Vx=X;!.3 n>Jqۑkre䆮pɎ켴|Vr v.0m{297.mDxַ&IʇQA!&9VUmớ끃#('`9:$C_`@tU$k;Ϡψ)j4ӭ֑ī):"'҈K՛g߭K{[% = *V &J{rnN0)~@m_4EԿ #egSnt<HH\)Fnu3twi!YeZ{7zhE)އ%v=2k1xuJd c.疋i8aO=*G#QS_"iH"ƒDx_ʦ Rseb*ujpiJۨuڥICo.N(+ļ\Gw$qˢf9y6$KAkH]T9D)le` |Jܵ(sc[sTP97kI+ p3u9.+y~ѐ̖ܪ@Vk>{OfYG) ET`;ggZ:# Q"DXmXFoNbT[$,D;pm6Tֻp5&H!y-E錒ZQi,@(cF7Ç*Ep#w,@8- s2,ʳκ\#&{%MKaP$xF*Ƀ͏qRP-HMr&rw_E1 ru*)2x$xn0Smd|۔5(TYm=Z/9iOߝ0&[yEVIg$}Po%Xp#`ݫ<:ZR*Uw&YRjPډQF8E^&Yl{S\I׭㋏/ 4 wxps&>F#;5?ݓzcߥF> ;6Նy Q?ڠPFؙE= ]9g='X?g\ [PNuܗ["5{ _H*wܝX)k14}rF8Qr~}Yp-Y!>  ۱gYZ1c7b0a7e5f51454d4941a1e1e5a92c34f58e8340 5f83dcf2976631d4e831fcc4c95c7a48e6a58901 5f8e3f17618ab8944a9eca8b58043c6166872776 f0205e10d968b4593c6e9e0cb0dbe97f330d1cf6c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8 5f9cfbb3ee57725a294474ac53472d061591061e aad3cc731f1655b88ce4180fcc3519595b2d56f9