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 MM0' t 4 ]]List-Infinite:threads=2elapsed=22.370cpu=40.144gc=1.992factor=1.797zXZִF! )3]ŗXf1-/6vRZڕ`0 lO"Eu\?4y 9lni>˸_g=q=zݿI1o$USL]5llA?d{F.Ê"ȉRԾr`q'}h3,m=vm Ub|,zSڟY{;XwF=*|=`:g@NĴREU1jQy8}1b΢ 9) ?né9OA Hᇵ4.q(PE0U EP=r?# {q<&~|yMv'y? ºr!gRRZud81Im)ap4ڮ-uz"vTs-J鹀y+vWȶ!`{EE˓H$!˱gYZ7zXZִF! ]ŗXiɟFTq7`T9t!VvMn2Eڈ2!bi*N_y.ʬ$D.buե\]JRp)L-wsv%XkSeW$̌a7L βT܂ Oo"9Qʎ+`ﻲ ʐK6da2?+8}=s<:\Y%+x#}!]B۹۝T:/`v;Z <,_YJ _F^ לHEBI :XQPgYZ7zXZִF! ]ŗXi%ύvo`&Qb:Ut=rnXtt /Ր ꩾ+ zX"jhL'U7%4yE84il }p&6#xs4R+)gbΩufU+1cr=c as8Kd]YG#*:> 1cL2_VkD٤X1Kc8-Z}-DKin(kP+t$ _d!o44^#XCť vW:M>QEtx5EB/:2݋>)?~O0JT~ef…G2NA?'XMEZ ISE^e2YvŒXc}prY߈ѻ 56é ]+ {-GUs~9$o3*X1JL('9$C qFry+^V87$zqI^F_F@[as16t^W'i;DKԇ<"z3D`=d$0G4C'h?x/'d` WDDkĀ$`.5 F>wR- fŜ]FBpCGp-M{teXI[!&lZ^9# ޫ#8M[cj髾|pGqNem1@;Ao Gy@L.{ƛ V{MO uKvL,qUD?oW6׹ͨNϫo.݃\YDy@B Y~`XVBiewSgXxif#P3k06I"#nZiv/\2PLy̳C͸|"Nؚ;bCn@V s_i!5"#l H6ݑ5;#LJr4~`:*| E=6f<_f=Dն}fS&!V8cSjo{<>]$PDY/'7.[Wnl;jM  ݇5gYZ3e7a1258e6d510328f853a993791c92c40007c1dd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615 e9df4ac96aaa27df45a4820e2370310fd3189a3e9481e044ed0fd3523033b0fccc0f9daaa7e8f40d ' List-Infinite