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 $- $l ?m Perron_Frobenius:threads=2elapsed=10.242cpu=16.820gc=0.620factor=1.647zXZִF! FL]ŗXf1-/6vR[2?h|MiCBƥEJ`;Z?<;o (jl`_t$a^V5>&;eXבwխns "}+_XR]%MVKlW(= u%Sj秝ǎ?H*z - Perron_Frobenius;s٥u?QvTLG$s7"hdncu^:Sc&ț #bXDQR~9>]7/t` |nŞ.9?0y)QUwHJ9z'a2V? k@zlo1@WI%)%5cQJPSC<-R6@%)N붹HDtqp:e_}tޣ s/WNv?0ƬrČXXDa}AēCiyqqMj yx;ȈgM=CJ WQST/QXiSRFC}=qdK DCYD>/{.Tpi+"BW`%`\8*۹!]:Xҗ,lhIB $vdNJYpRrEJ{I[q Ts>Vl6fjMt2*w_d }sldS*"Sg;aejq&#|աd|p+ς!D.X[C]D݊X%$n,WOKQZu|9M=:%?%!dY\Oqq:1E%v{W0"uɢ^f$; 11Z`D~LFն79betBJ(VaB?jٲ޻^I5.و7 tf1gӃC]pc")gBU+u_r*Ixp67}꛻ȅ3>!#i0$ޚm)UK4WCc*˒X=S c6V]t2+K A EERu?r`WpÙRh_[[a3a[L2 `=C@hh#- )1+.0>sJi&^c~xF&$K!0: flڒZN7JIoQ`*/~~nox^sB@6=.-gPӚ:1^YV q)C^&\V}[„u$|uj[_+5-7C ] շd{0´Gv2.|!mWnT24CԬ! rHߎEg,<!+M&<;2 遈q`wwiQ.aWMktK-1_VNDْX f^кM]ś1yF A~;.]!x0?@s1TK,BYTg<Ѫ{Gxp?C7G U;`PR3k1_DtgYZ06f3f60604adc9905d63154259b7bb096f66bc3e 283ceea193d20b0ee67866cae9a1f5c28585c6cf 34464ab2f12a41fc3135639fc645add3d98ecee7 3e0a4a90653e33d0db0b56c5d8ad9018e4a3b663 4aae1c3bbc783c25be3e7e59fd95e82d957a03e9 5896ff00eadd205b7dc9cac151295194e41816a1 8d7029a67bb9a3ceb9e238c968bcc5dd06ac6905 986766e20352b63c0d44756cf619a814aef99373 9d8595e16ec72d0833e2257c40b8a8d710414047 d8c2d77e93e37814425dce22021c1a77c806e83980f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c bb2bb54135ed42cbf9b16f494e9081c8660de074 5ad2f9166cfd8d4d2fa74648bcb36846d876bb60 f837b52ad29ce7db2a60e2328ea78022ae00f418 c365e03ffe0ac5a047d5ac7e5bdb1e9814bcc365 b9a6edaae3c46678d645b9ab69d92a1885172bcd 97fe59bf81e5328fabd974f378ce209d9cfd45c0