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 ff# $t  Integration:threads=2elapsed=11.949cpu=21.840gc=0.656factor=1.837zXZִF! K]ŗXf1-/6vRZ?~k,`bGt AHAzW[vi G›P^8 8Gn^쫛 $gYZ7zXZִF! D2]ŗXi%}ȴ1=kƱ>$!R<=\F,1`7Gfp!Q1^{~锠R ag [YΥ7"*(+|_q*Mأ4R N`Xs_7&&=ne@h|~E4n' I)16 GGAHqP.Ƙ -,$jw{;cWF dpBrqK[U*ldn|+eX/Kku, R% )n;*gšuL]rajAuih%cX.~JGό#7g оBbUIh w5ز+rǕ5=XגГt=3ܝXDߏ-pa ڠ-)z3f8}A֡]`1YJѧ_(2b!_4XIg Onsyt>xí'B09&JTd!؍'yOi:v'LŵCz)W6Y^K,?j?Di,J½JcPH7ԝ}}xyPM{$/ d7@%MCE⌝+>V&@]l9Nk:rZk;2q-Gm :dYQ=[bxdSqn.3 >29?6$dd'XFxj\ZFV,϶3";\*.TC^'.Pp[DP4r(G,RZc ]2‚0ʴ[> jUZ?!"+x/&H8*6\e6t}BU0~ɦW@*F\Ko "l 9v^D~(^o7dgYZ0c11c72db7a430fbaea23038d4cd5670c932e96d 250200bca4a9d20ad0802835959e571a17563aef 412eb83677c5fbc30c2ebc57a3d3e6da47cc7d89 5b30d9221941ca16727dd6daff33722d09318f8e 6f7528c9ecb8fa81d28fdb1f0120630b11b17b5a 901a86e132ca063ee9028ac5284316a4af9c954f 91aa64768d657a788562554649756ff077ebf89f 9dcec35f477f1a52dc135cdfbd06d6b04bf29d21 9e97dc1e385f8bfc8855ec2c2ecd31883f725fbd c6434b8f92878f1aaa81886db617f4dd64b8598c eac6ad13c503bce6181b05cbde0a5640f2e710080ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 # Integration