SQLite format 3@ . BBh77otableisabelle_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  z' dd ]m]Flow_Networks:threads=2elapsed=53.901cpu=71.028gc=2.984factor=1.327zXZִF! !]]ŗXf1-/6vRZr~yյG!ޥo(?{~$ !Ad}[Ռ+ϻJXo酘 ' Rk~JH([oU rw_(G^F/4@`RdK?ǭoudmC<|;@|hdnR1 Oܸ3H,&BҍFX1m#N7_;x,FQ {dmcԸ;(f;QgK![P$y&e2饽'~my1ޘj!hz,A|+EJ`s_[: $vW0ẍ_RtpZ!Y(E ' Flow_NetworksrZ˧@`R,3Zu*CoRgfHhH0A3"i@D.Mlܾ4kro^dah:owloF yfL6aB)NK1>[A"d3< #4~Q*1^sgxHStw3Ԗm3HxblăTߦ}H̒a4VVig6WP-B!!{,z8SVjs'SwRW ht`Yv㧣۔>7vc5Cepm k\U̶R5w:\ b`T]ε);2zozt߫PM#7"˵l*k}߱#GP1:o!evTy;T}c33:c]FnRςb1c/,I\rXj3ӗR#bG&z;/DN4>x cVrB`bQgYZ7zXZִF! ]ŗXiɟ$BR$#?2FU:?dWj^e&<:]xFZ)5 P80Wޓ=5=EkM `û=,T;yS/+#:M0 @ƤLvY}}beRͅsO )^Mt܇LW_}̢ۋ\`5IT,-52q8w$0D}mmn%BƴT9Ryg-gYZ7zXZִF!  ]ŗXi%; n^qZ2y9[։XTQs՝ǠMSҷ9t`RG/ bcj)5ID~&w.ܧc8#צ߄' ZhZFnݾ#} [0ʳ=~ liaXC|)h_*W הv4,F g6hr5hy}N\B熘wt8j%NDo犑xnIP`^[3zgDdp1R#vʠȡKkTn#ҿ~Ӫ6/sMp?Pj ^j&NQҚWPTT7lVDiU*(b3+=oM#?K`]L]l!JW5k|aXK0/Dg]Z#>f!N򾱂b32hr7o@cϷi|4J>cqˍv0 =Z#W-jf7yM:n%KG tS2YCI8bM:O)\ՒSO`CyV T$`3 "`VrOX38s2GKzCV_Hou<]FEDbMQ9 ['(7,-UP7u{D:e,PnvvΠcoPfzuC6Ynm3[ =J ~QTVF-+$ '#&rjb\Pٲ<%kBC{I> pEI-(lBtJn;/aWNFY;8p=$\QsM oㅘ^ \gYZ7ae4b3e4f3f4615c21e517917d3d0513db4dfbfa79d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 04446ecde9b8c648f0e184b13be6eaa21b45ff29 6c6f14e3b60316a0c2e12d6d583be201641e231b a7c7a399d55d87b84322992e7ec741372828af69 b60eb5d84b3e5487d8de93ac808b4c2c6f25f80a 8654bd80fe58c1ea20587af45b54566d78da70ad 6fea5a0fa11163e101ae9ce8976127521d30dde2 e90ce4f7d7624c48fc13b2ef2d0daf5fcb7054b69db97850d036db7227ae87520947653ad830fc86