SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info VV# Dd s Rewriting_Z:threads=2elapsed=26.442cpu=48.472gc=2.040factor=1.837zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[2C IfW6aJtKrЄ#]p7 ëp`?#>!Xwތkljg$U)'o*{GPWGgE"pп)t@-yq뿪pj>;5w͎U":$(77&*8T~6itɀC[7 9s|B⒳'Z9~elrj Y$w\Dm8Yuާ ,][PoBua Ϣ-k}=,4ūg&T@O|Cn5͕!8Ŷ#5+ikPWq,ݹoeNĹע>Zb }8˨CCL-[-瀿,,glCЈ*|6_LU>͗D0_,Fy9񠓹r3KuWs[28m2:clHe!Né^v+t'FL}D +[<߫# }HnE ql-xV/cC{t&NI Œ^͜ k/:iA'k3_RiXi4v2x@jG͉O]T}@Jh3 O6 P'_yV)7' tN+ LB7sd7|;mAkH P 2X81GTG]ae,9ֶmݖ⣿GZp@Lfg2κd pNݢ'gYsoIS 2@ 909TmvpqZZp΢ IVћ-&Dw EUC;">%E0 UD?S9A7zsx%zVVn"a< ` կ$;vڭ׸C5E^uUz70|]r G~AiL DPQ$'6H7ZQx$ޜ9TLe=CcQh*˞t>X]? QW̛ Y$-_dnqWπb9^p:A}m!(fhM볞)kL΄hz2繠/$et*So^>J)4ۈv 1~qF\07Ϯ#n]uLHkרڭ:&xȅs?m \Zb)YLOFfE䰆l^'VhI5K޴q(iwߑek̛,Ĺ%2Ԓ'e@wĂlqni7BwK&ϫ7*FC qg`~Q8C GrZ:(ȫzqSI8T#zO D$;'?m^Qd͒^M6ɂY,N(o4wTФNR4[q ]ݬ9Nmm¯LlwImRd{5[4< Om^Q%W3 0s}J_\d*]+.7vd 낚F)0E ,7 .Q`1]_ Rݳ'qG .h1nhB`s9(]c1ksZ6-1#(3gw+fV9K?@SZ>NlHpLxZ+v71B9NT53PX~*I;U ]-A?H (zkiu͕//v8$oM/s<{> .aktM{rQ.`Ytu3T D8g 'W ĽOJ&z:ĕ͖=QS߀.'L@(FVG"%'R@ Y 'u7届rBH$Xb XJ0dsT_u!BGXn'I á6{Viiһ4M0T|g'XM-]JhCܺs'd}Un? t#FBhfL>q$' frM*fI- xcCRt `|#}+#Ta yo)X.P ?Pg24RNgYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 0ceae5ad06eee8d958c860c4f897680e8782696d 0d624df132aa2e54b02fa619fa707a1b424b9830 19e2cf0910b7071efb7af8472164cf296f5e5ce5 383dee4bb60284cc7229af5017def9c12378879e 3ace40c2b87e7badb20f0acf88f91b9f411b105f 489cc83115622e6abec1120f6a9cb06376b51e20 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 52b0aace9d7980c050fa4e0a384a785c607e5f31 73424ec42caffd4a8d5e271a9138c77d0cc43a99 73eec23e377618f2dc3093471b0b5d9418028105 81de4762b4e143259c5d9fb6b097811906b676c1 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 87c940b52909a60807a7fe1fff397bafe6a6ce18 8b4be71e4e5c56c889cd6007fd8ac909bf7b3d1f 973d6bd96dc9037f8676681fb869d6ae83013aac 97b061e676e9173b1eac47f01f3b6bf0c7fa76ea ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 cf171b31dc6c8d6ec0168fd10e9dd40fbed2ee25 e0176e519be33fa7f7b452fa7709992c0dcaff948c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 50dccdb580236d2e5b9df325598cb791692dfd7b