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 U- d4 ?I Perron_Frobenius:threads=2elapsed=9.976cpu=16.444gc=0.476factor=1.657zXZִF! Hl]ŗXf1-/6vR[2?h|MiCBƥEJ`;Z?<;o (jl`_ iKm' - Perron_Frobeniusv\ȫX6BtE&9g2[:u\ޜ={F$CSڀRs?n7$ϲ)}rFAo$D&Ǣ]#-v4^ѳǨ#=Ԧ>7*1(<0\Z՟BX@9tX5WȒ4Mto 3p@0EBIS,P%dS7Jdqb؈?]_jT9s9]8^Fłгe[x<@V]B SRzUBD}hm`sQ5PKd+3G?۟J* 8K x[n}.YT&"A e++N|O2(XͶ]CI.` Bjͺjj`؋s^7/f5oxKkEPWdI&ҟZCCղ2˶DQ7.WMO,ZGHJ )ʈ-k>v"okivg.݆fo֎,{gvh$ŧlOZyWlB$M_LvL[2JvzRHyߡP3O}[Vo`@r`n3`lB0Kw`Bjyٸ#V"d{ - ì9fʡ7oFgoh~qE̡cFC;l)xϏ lu#gAɄC"R+"T8פߺzɓcN,bhPaVbg'1zwA9.Ubٕ ̅-)Mm杽ƀTz$H$tܱ6rðXE&$i#!KF5k!Sen $ͽEΪɗ*ͯ^x֨{h9yM1I[b1oei%sC <#nۥ0FLj^&d0̏0MZX !ǃ$5'Kf\Áz@Lބg< ) `O`G%,zAd"mNl/H\{ʥ.NmgtOd©*L”zr# dt4^Ϙf?o怘G_7$קAhߑ^83;[9R \ROAHd#I9]IJ!zdp_HxAeR vn_4l&-|kzk(H: }RBN ёND=gYZ7zXZִF! :e]ŗXi%>ܚsgj