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  k k - dl\ ] Perron_Frobenius:threads=2elapsed=44.229cpu=77.840gc=2.856factor=1.767zXZִF! " j]ŗXf1-/6vR[2?h|MiCBp6ƽ7$e< 3 r`{EV =};Oʿm)a/󏽀19*cT?-Dr򸐰Vy#Em vMH@k_ח0:*{uhnh﮹:6厃`b+}.ceE]\J)\ÜrZA?lqmH`|N:;H {O] k8\s"~Sdxf1<,BQU~6ico&%I1ge iMw.Ybh Fo *r΋C7Lv/Vůn'Umҹl - Perron_Frobeniusy-*z&:ݖhr{Ԗ":o"ﹼ}dU\],8N6տΘ*epN]x5^=t>#d.u*p}r{~$jd|EсwMo٨HPS ڌj r:\La5¢*0*m(jzHK2t1v}= T_#!qipKiF QPI 9QͰܣk?(˒Y- )(J8D.WgYZ7zXZִF! /]ŗXiɟ}dʙfqSac+ @Ə~Wӹͯ@vW/~ OBӱ^Sn<񍉵2V *$O;xAթcӏcZ}z0Y NP'k_igM+NT~ aצoЩ TuO7P3(,ozW,XI=HNĮF'۸Z sXs C^xhdcAOC}f:?n}ddDjMyy~J5>/Hz`!|z918%V파 A&'0(ȂZtsAy(No䠢qy3@2n_9r9lْbWh[KqSפVVƝ*=Ï#l #ʁM*``qЯͫn~{r';92I? c?߂j?Td4 //b+>VjfFnw &l ߂b_DX-L)a]ͩND5aK^ 6dbO0! +~aE:?N2 Hde](b}h 2ȝ_#%,O(d+NaRFToBb8#Fy? T32Co0L 4:9x+[ܶ?jnA5x wB[Xj3-07afWs+ƅ 4W⏑8^!TB$K%K3aOG ܆pK-SV|XQ0?F̚|#Um'+/)yz!!Ps]<o'Yb!J]j yp%k`;7'd]So|<d+J-\^"K/<h|(&wgc ӰX {j7 c[KQ3zt%yb9yq8@]5MRpmO;m3=}ÃJކ`4\b,NfEJȭΌ1fW-u3eJ_yDV % |/Iʳ?jlκA[8D@zzC+ †՚\R"|2geCͯ0Z-.R:YaeCڻd~% uÇoV"0E#Lg)LSΘn. {zM24k-}R+5lHgІ5vU1Gwͨn_n᪥*LĹVh# \( WkK6h F"HjCdkyMn-&!7g3RYڢiig]P _*K伫pگa8dwgcV<#!zŻPQ F>LDAmPd0V5c}f6ep!̅uG#3>oFRgltiSoycyVƚbF`8Ra Hq|LTtŨI)Si{Vah. X2',bj?&Dao 6T n 6q6W]qFwՎS彈T.o'W:[a`32 b* ~|?Nnh=;}or&P9t|NCfaR{:xWZ=պ#e* BI䠦M./uߤFD61Lc"2p.{nCĕ@/f+̲-ʒq#m:,$ELu&FL Y-"j(c[2tC,Y..`(r_O9h4tG/63!WygYZbaf185bb71719f6ea14f947ac5a4d4a44ef01c2b8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c 3ed685959535f1327bdf7d26aedd8065b9d7bb35 4c54cba45bbe8628a200be1c04cfaafa81edd9c5 95ab95310b6c52ae71998a3df71f322e72d4673d d8dc87661f641fd57b43604840e3147624a4131c e60afda5407aa37d9cf173485fc6b87ef17c02f9 304c5f99257f859917d8b4eea01f59c9c268b066 60821691f7dbed992e5d8c4be3b36bb9166d936f 61b046189ba8a70ad45adf19b0a2d2c6fae1d8f0 3616e7fa13c16ae481af3928243603fc4b13118e 8370bb9a0d9164f95c8ab211c594206812a5b8cc 91d8ebe3354a8c3956167da76104298772ea8b50