SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 3- |t ] Graph_Saturation:threads=4elapsed=29.549cpu=83.232gc=1.496factor=2.827zXZִF! *7]ŗXf[&Ddh_22\X|"ˣ&Vx)In<뭁x Jnܢ2Iz ޮ; tR88}w}"R0Va 5+gC3xeR+v"Ƌk$zd*]^Um\_(ϖzY38E\*?*\҄$;0z]0 X5NJe‚ Lfb4q~b*!w3pf:S 5:y|D"bZJ0jN-b!e/Ehg#*-kԝD/[ҵWD` - Graph_Saturation  ѣ}r1mٝf603.kx%.nAD{%+1/6$~_(ZFOѷX?V9zdK[;_/W='p]4wޢD=gusla9C'eڶ߁Ο)kÞ TTVe[UI}~)VK@Hȥ}\MjK#:$C:Q3HzZrZ E:«6ӻ|:7.7gcv8qGR=9i:7ّ0c[_ b*{c$6Ljƥ %Tx b 4q.l"Sg*SB t5mz:-%nH?u eDX cqa~/12FE@'*\ Ը$j+iB#zuF^y%zP}aIRT(,P{TI3[=_6#:߮&D7 ׻/zy;6 NZr#D~fۿ/܁˻ GYBy¤yv&ꊦSc϶OsuI ׌}/Gʕjar ?jl qTƨHɲvo%e (sU\SgYZ7zXZִF! ]ŗXiɟopZ\T3j$4f{N2PTyCܠ_ ^w.0-7\)|1{I\?4&+juE `I4A]wNb͞Ufa{8EϷ o,|ksԨ9GT16q$3+l?j r Q%fE5Az$oBGX??d7Po5n~>w٠w&WwW;b(ygYZ7zXZִF! ]ŗXi%Bt.A]i2x;e=Mؗ*dחQuSf(J@'q]( !rsQ-" 6+czfuEFVN@}/h u`(ӄmۻj| c?!jĢ#{؎qVEFFI38hl6y u* ?X}&s[ط5,0\or KEs@X`]<yyߜq}jM74Tc{LmOO?tӜA6X1=HD}y HQp$,SJq'Qb rٔ ,+o.[j{Ba^-9HsECM']S:g8S^>e7#^hv6}uc,o=GPjSJԦ 3lSRPc۟>I-C.QKKv~9JܻYq=B.q~7RbҤ,#Rbp>f3ƒNT? u\MFIXYN_ t 5J9`RBHəDMfx2&ŇsY,-c "(d)5iK\]RI2=bR>J ՌP-,<`uxh!cYqX)aR}qZe&i@nƜy*5GkETtyy8yD f8VͺT^"Y6{ {SstTqlPdUWPWFD?&O.5 V庝R ω@9;Lpaɰ#󈸇6Q =*sMLG$p+:mQ̾ &.Xhnzq{7#3fތ3$nķ%D`/^M)f8!r{ `ڒqn)Kf7-M- HHm*4-ݛ2w/)=?ǷI}KeÀzAbA潃÷01mN02 $.5 aB:hhgΣY"/n%80mX݇*zEZdIbvhZa ou.U3a׋l KUdel+qi){R9#֭U*K71>dOK:zî]I&d-׆aؼδMQ."ڷ؊s"ڸɪa'<ce)Rֈύ5t9@kX я Y7ђ;|CVZW)[ !EѤ-o`meh hCsmRŃ#9e)xa5B1Yrΰ 5 Bj/&,; QI:G+)dJ/I=6tl1R=0>)piK/C6zl__3zހ#WwkOV|̫mXnzCqx{q874f0+HLo̹šIq~7w:mhl㄀ɩdp"ho*s;Q# \0DA óju^vLy1U!t\/g/GH9jeS_rMOǼ {È=oN5Ȯ FJeژyu\!˧ڨ1}^G0)>WG9K.pm0