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  "- D ] Perron_Frobenius:threads=2elapsed=55.325cpu=89.536gc=2.820factor=1.627zXZִF! ([]ŗXf1-/6vR[2?h|MiCBp6ƽ7$e< 3 r`{EV =};Oʿm)a/{CYPU\]^CߠNCOL1 a^-l7P -6r4`DyU3!.ߐ؈ lL} &"4U+2|kj8Y0v yFJ\[NA?Ҍn,j2" Iqos}kLi3_.H7aB5Jd';9ryJgT/ *CV)ZySgX%z7L(ޟ+yg# L{9Niک HmƋsK@[Íf=B7bX=aYyJwb)`Gz/zc1kǠ d>I&iBy"kղIO(+奊܊,Āz M o!edc;A<1 ߱Њ:Ztv ˆ/RYJJq-J9ZdjXx+0#HF#X%HD - Perron_FrobeniusQt\ GҮCs &#ITFϷ&\`k ee $<؍*XF6AN&rLM>P+gYZ7zXZִF! *9]ŗXiɟ}dʙfqSac+ @Ə~Wӹͯ?sVFn뾶 IPpVW{èVgG:/91!сeEŌQOL Ac8Y͢F2p#۵Z y}uqwi4U{l/LQFH<&u1_$KӵU6&}3^*Q1~ߘl &xғ{mV<TtV`מ80SR{߲b\!5Ib]9ogYZ7zXZִF!  []ŗXi%6SwU&ch&'KzY9ZA=}F~yCHU1W@O~w mԈ@Qy w3HNL 4gJ-3kO\_3ΪQ4z07F*`VM"yMiny'RBU[ЍÓBTvSn:auχ8t б7|XxdOy >u F1+=0*i/;Fb.-n/n4Xz,2bEI,wگ,Ұ3Z9\ `r1%7տU퓚>a5.)~ѝ)A377dcnɽ;3nCl~%do,TMd}Y3Dא8ͿϨ{,(,WqAgtIwʙ&^7e 9#uD FyتJY45rp!МO1\_8 J $V>+SZa]nb?w7.b'?35b lbjOp;>YV~RLqZٮF!Fۖ|鹃V Txf.`bQ׀ŞbK^J~#۰{ߣ=iײXPS{1G ގ?]:6R1)Ct{CBEҜMnԂnć_-*F-{E^.bg)eFW!,(e`ƪ; \[~n |R.L)Om{91Ż2,0f-Fsݨm' 7j 1MFbS3n^rJxmX#~,Haoqc >QYI<ո[ #+ +*=(ohG=rM.ۧRk+{#X=ǷܝFlX"W3/lJymBGTرqlggI*85&i]oDEqEo=txJʗ21:p< K<,⃩\"= hW@zFW\$tjc!m^:zm_5W@i>%XS;[C& UoJ V #"Nӯf88 @54TE~\&voz]byh> ?E%g)8wF^lf_]Tm0 q2uVN$ߡ .SHf@_ZpkeZb3g^hZxqȈo_2gLI)otji=M傌'Ekޟ,k{C)/T֘ Jlu;bo=Qll+(Pdm Dstl,o a.;!Mr8˩?ӽ{2X>JV(s ܪup6.KSIԠB>q(-MTԐoz}IHArO%M`o~sJogΡV =*#Da-I|cj.u<||" u qeb4ԁB  @Tm gq_UXXʆR6/ȈPIQNZ~pכg dc!-LɕvԋX; '{>-2ApB+N"sz/&0Y){d@JmFKQc#9OᔣĆs{ a}1>MmnΕs