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 gg9 ld ]S Decreasing-Diagrams-II:threads=2elapsed=20.842cpu=36.156gc=1.296factor=1.737zXZִF! SH]ŗXf1-/6vR[U G<%tA)A%rVɘ ,p 2~r,i0g-̗pAAjLaðNI3vV5hJaOP\Ơv dLm᳅|YTX)YES-= wk8tnE {YFk6,2*6di!mB U\<5h*I"陘(`OX)NʽIÀJwl-&۹m Dԙׂҝ/Bs rysf ӓ0>bZ]4wbM"~l0"d9Hoxއr/*dl/uϏݗʢ\^)͐B! 6[6HgYZ7zXZִF! m]ŗXiɟ1?ߟt;9HK?.>e7"Ar)P~5z\xɪ(Aш "wT^vu(T$/Ό@D6eo K鵍U]OdpTV Qd@I}ZLoS {Wcdl&ըըJR61wKB3ͮcN 2Kr YKA҂!'G<"S[!m0qkmr8}6({Ȇ dJH+.FDx!*OI췾Ԇok^prE~_n0 ~gYZ7zXZִF! l@]ŗXi%9#qq3{,`GGm)xxR_N` xqq ]pn(LGgh m]ωDcD)SvYf&n3..B&;̊M7 &u0'<!wP<ډ,ڙP8w4 })]rT 'fLr3[/#(fs IzV鹈v')dPRYKÊs/p:*W'c0:= lDxuYp %}q66M:/&}E$Մ8*b;8Gj ݦy {5PҺ7pl+AQ͡yNa@S&e j] iC^I^¶7Lv4XD# eTG?QXT=@5*Pf;vseW$egO'vwzqnZ\\%fJ΁ujmH<!3ఉr" `&%i73y5mԯԹ8s=3T"!O|h3K(SWw/jS`ї?{@e.: slӰ|&U3m:#nhixKmA9ɚͼb2`c+*7_^}ku#MwWl 19:t,Ks{[i:꟱uD,o(88<5eMohO25y+ 8yu2jYR̐(Yᚣ{AYf/}xX$wPlS=5}e"4nco<}DNi݇Jh\n,pDisa/ZCAc਻qBs,`\K//1ݹ,>qTE7D!Ao; r!:_K>SNH`5j"$&~gЊ*8W~Ysr1/Y5H=ܺ؅jaolK~I,6$f≒ؒL?f,ndzz&z>SWCs@oNU =~!k:bt]Q8&?-ɩD2V/rJނ~8vŜ R-nf]"e|P GFNHZf_YJ yV1B+A!H؜u eXVT7Jn81vR- 9@\qfQW+gi7(*1if0Yd+Wy䈉$@Rc:``N4jbu͉ BPfj/BH͔81ȇ ~ۂݴMΝعp\eYTg77