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=39.048cpu=69.268gc=2.648factor=1.777zXZִF! !w]ŗXf1-/6vR[2?h|MiCBp6ƽ7$e< 3 r`{EV =};Oʿm)a/=B̨R?͸K-)뛸rAreaL7w7/jƮX2r-9 Ա-&ÇuU5n+$1AЪKޝ$o"=Y \">n\>1AM[)*?lب]iE}46r(q!丬T><~'YPT~%nD^NgncOQM'X>7)![wB-f>>cPD}͕)WdK,(v - Perron_Frobenius=L/999^LZ#u٤yÙ)3X O> S Mci򎰫|K FwW;@0+W9, 6@|;OQ ]Iv)n$ h1&˓F෷zfVK<.W`ka9/UΟ-b6Ѩϝa y[ 4(20^g2y.m|{w#Nz-uעIG Z$h`NvSTR(Њxo3h{6gcf[:TiGAWz^PKnkٺ2g_G{zU$v&D'Ѣ ~[>6gzcSnj *\;-gW.6m/`ju/Q' LV[T$C԰"f(bmm)$d&a-=AKDCv|ֽ|e.H,)2绪U8 4ɷ4宄C^gYZ7zXZִF! +]ŗXiɟ}dʙfqSac+ @Ə~Wӹͯs-6d/ y?̀F'8*?Y OYrk۷5|''ٻɲծVdVh,IEAK77bU<*ݽ L'k\ ] mEd?KvW/˙>FE$:fv?4FMqDd=[bЗr("hEw}Φw!Y_bS&$Sg Fҕ> vF@P 1`~{Z_&&gYZ7zXZִF! z]ŗXi%6Um &ܵ_G"1,%X~>#̊}ZX֮LZoԨ}h07t^~EtDNwI4>ASF~y>Q=[Qne%e>Qhέ?ЋזZTRhIiɮ͸+ٌd;CppV.ysuTxYVIߖ{R"̔I5w<4`4^$; ɀ}ɻB0;UC_}t-QB&x+5dǬk`r~O?֏ʮj`!YJӀf+_7ᡷhwRRJ>'瓤JqΊ5;RuԶuto>Qg{=B^4 &%-t,Vx.o\8%]'Ssl @9Gg7] UV"mZYOqjՑ̴'o p %)frwM9FnPFaLɳpFǞIwfG`ڄ?#ΠfE$Y hIa2Qৱf4 !zpC%1Mabt 0G) !í|+q^ &PITϊ}WgphQtPhF?̼:NoJf@ӝя0zCZ @jw:qזhlA+xC" ~'+qށ8GAP_81>k+鄫$͜y0ws-V q6 LҴ}1m,88u}Dzj҆U([%{ /=Hww=E.#!ŴcH!5_c٫:p Ρźxq4ZJgs6O ӈu-V?ӡa뽍O*o #;(hZ=2A\$\ԉ$ 2b MEvERpa#R~ X\Uw^y,}k:. ` qo)_ҍ̡II0hQG_^\4j7amӰHfaěst:QkGutkPґiΰ 85@x]H iwjz{ܑ<u) b]vx?b@5?2G LկEyl5]Ex%$"HMϺm238r mpm^o>GJYa8dp{4"UMu4aSq+źG%t O<%9@,Ydy*O1'~K".9ip@ɿqYPnLYP]9m?1+MGD<w(6a!GQxn{BqmՅ&͉vkڅsb9"Al u=n2e>=+eEڗcCSkb~AU5máTvN5q  &ӎ$eq=yt$0)>`.pXj} DٸSO}NRJj@"$rM0#߲9< }ЄlsR]B͓{E <|躈Z x;mr,CQ&#]&pCUfau'hd>뢼 C-#EJLPȱ`L/*j[:_@"NciTekEsp.בEbbWbhDwAjaK]b=- F׳+dtÔ*LrI3*v90h[%Y./#v~ޭ$ր^y5Ԫ@0duo -ݤ6EzRxPu5bo_; B+1`ewߍ׽D c-*I@ߖN$+;t6h^=bi[bto~򨖰{ehzʨ2r "*9ΔCb1pיߩ&C9'dzaE? CLMb$ lG3~D:V`F $)j705 +^?m[`vIF2$NCsAw_uO&ex6dL(ى'VdgYZ1ca38ac7861a7dcfd38c7e18f5a9c43e0b2b2c6ae70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f d7715951209549f86c9442a653d9432cb122f2de 20134841e543a7bacfe24bdc4f76acc2928d86ab 0d482fea75712f747b73221c2647e7e8df67a1d3 1f78d1eb3f070f974fbdb91f73cbd334552d902a dee8a29cce4dc8d7f95033b4ffed49ed6c55408d 566593925b3982ed3f01cbfcb3cdbcd29b1d850d 580ffff1038669f01869afe2a5fe613701628e1a 47fe198c74bdf456fdb60f692aa80b8f51eeac9f e058b456c9a9e27097b9adb33d4e53b7be0d21bf b0b3e7fb75418784e034f1e47a0c99fcf7ee317a 418a29e0780e5387379d4b0cee74046b2bce1247