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 3 || SS Decreasing-Diagrams:threads=2elapsed=23.999cpu=41.344gc=1.068factor=1.727zXZִF! 6]ŗXf1-/6vRZs88.Ì[rI,lM 'kY-<Sa½ FK4h584e7|%pÄ* _.ޭKlt"d[C_{$V~!A[vHße0FCslXpaӀ&¿ӣ. l#-NM m~"תߗ/Q9ФWpYgyEϝP쫳r~nBL.u9xᮢ9^\MF]YBeG-7@ȩTU02zYn?A^T]1V@=[|46! #|j S`jwZQ<&oc`d-65 R'mFWγQ!꥽XbrεU%#ĊF[6T/yL4 d|c'5ލ B=qn[&s!-Kc,-D~Y $9n-Y0C]s!_.D H=![ڲLF2K_YAxBnm|}BQ'?Y3TuNgYZ7zXZִF! |]ŗXi%4$}8w񫱭)d?ܐ}OA򶟤V {6|-dJ8m&X b} uC~N;GANN3[n7oЪ'oUufv}ۇFWhYrFJ2]TǠT¥t%HV B->yN[ ֈicq>ub*aAs#1K\ttELTMՒ/_o̧)!}#!ֆ6d&nP'WY :k6kEKZï:&6OkO?Vf*V5Uu敠"`C ̛0YE QS*YKp#r;)~9;Ed#e4a$;r֢%uY9J/{||T{8?:x6"ըW1iKn<+@Gs~Yۅ6uOU~bYn6Vc=jP FN^%OB4 )&)`?uj&Ǒ7:xѮF<4a)MsAs/]Rni| CfJ`J[:UdnV),%aR,,}vP Ccߋcsg4' @-)goJZQ)*b!<:vwB1 W5 >D X)+]UMrxmi|Ÿ qKWQV>,W {; n.ssH c+.3V/崘&f0Yq䝓6%0BxLE^|Q WnVFIfgr`6yXT`JAޱrD:lav}& qB,z;8<_߭1ujoTe bvÊ'P bSAo*n-V7Ʋ&I$[rHt<ӱ.eV%u~k遖l-U~&#mm w9}h~}u6iT+$Vu2:]Ω?p V(&=ϐFAHlG޼ hƱgYZ1c7b0a7e5f51454d4941a1e1e5a92c34f58e8340 5f83dcf2976631d4e831fcc4c95c7a48e6a58901 5f8e3f17618ab8944a9eca8b58043c6166872776 f0205e10d968b4593c6e9e0cb0dbe97f330d1cf6728eda92c596448850baeaf541586ad0cbd7b32f f43caa9e5e417d16de9ac31da220529d0a28b7a7 c0de3a72380c3ab1b14c971396752f50c590bc0d 5a743ff337fa988dc6e8325e84aae363e8788a91 3 Decreasing-Diagrams