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 ##J- D< ?I Perron_Frobenius:threads=2elapsed=10.103cpu=16.424gc=0.524factor=1.637zXZִF! FY]ŗXf1-/6vR[2?h|MiCBƥEJ`;Z?<;o (jl`_x - Perron_FrobeniusXjuj[+RM.gq"p~&)xt{A֧ӊ_x6 ew :/q̓~mC=燇ޚ2LF#xzB-o/2!C`ZT'̏3f: >)c8,at&YBPͅUOJ>K`R71J"A2@^3D),'7ļB4-0$!du3®5n` yfQjq 8. fC.b{Xj*YX_Зt=x(LV*%=\/ vd2% qayk!yvp9Ԓw-#D+0Ƞ仮o)8lƅS+̾/n%=ڒ+ /*DDn"gJ+'H&(-rt>U ,$fXѹCok2 \䖽{3o Ϲk0E1~yf^|cI4(3 wqj | j Yh$p3!:DnȚd#V;?X?ryßvaPvbPeB <:,8/bŲTj'qOWc o\>L$BȔC5nЪcaM <񯉯#켃&>RTцY ֎"w\*=-kğؑzɞcn:R,ӏǞ=9B%,愋V S_v7t/b nMU!-8iWeI7 rNH$OK `km_WKF͏e(]L@ۻ*;yA% X%H1Qrn\ިH;% Ua2vFQgEM'(N m%ר 3q(v2ժz+]x!ʊ(" $)YcbR  N"Kۇl?Xܳ X˱gYZ7zXZִF! :V]ŗXi% -ڕיA-zT B)~3l6ۃ7){'0Y/OWuOLP0[z%Z6X.'c4=W-0{T}Ezs' T=skӊ;s9hǺӶe³MG;cƘ+dLJ7.9ypMMм Ayi OSb8ƛdz1}jCZfմ nL\ܜ60Y2qh1{Kir}'"75cc<24QGBܓi֢NC}Ժ/8m!BS!"2ۡOU;Ff"xGu~N:bxה(G~JciNm_,8i%U"nPZ1 e|ʬw6KZM[w;hXȰ3K%~*tf(\`;X[Ŵ6:L>4qVYU>OD`|2dX_*gF+B{^aKwInH!NӚ{fU} ~Ζ|`5>!9V򼛓{E}K֢В̆ɬM(4q&jS&D )_<\/c/T3gH>d!IďCI捖E Pa <)Zq:F CEH{S\Wsn+`v;sq1圍(f}OW}!cO17c>DVQ|v a?,}OٷPq*`.I,C '}. -tD)ugtn gYZ06f3f60604adc9905d63154259b7bb096f66bc3e 283ceea193d20b0ee67866cae9a1f5c28585c6cf 34464ab2f12a41fc3135639fc645add3d98ecee7 3e0a4a90653e33d0db0b56c5d8ad9018e4a3b663 4aae1c3bbc783c25be3e7e59fd95e82d957a03e9 5896ff00eadd205b7dc9cac151295194e41816a1 8d7029a67bb9a3ceb9e238c968bcc5dd06ac6905 986766e20352b63c0d44756cf619a814aef99373 9d8595e16ec72d0833e2257c40b8a8d710414047 d8c2d77e93e37814425dce22021c1a77c806e83970d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9 5f2de4117118ea319d6b6d7331e3a51b6c8fd5e0 e1ef2dc5de27c6f158937b1ae3c2b52a79b8d492 754f7bcbfab355e6cc81d4949037f2eec902e487 e73fe595507505773006de3e34fd64af85247e68 86ff813c19dd27d3df6b17dd91c5e730041c7e53