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 B $\ ]S]Matrix:threads=2elapsed=45.511cpu=79.980gc=3.048factor=1.767zXZִF! # ]ŗXf1-/6vR[Uy{n > gA[@L \A&|XBSIیד? WҶr^ N{s0>f WR9h$c8IbPݓLH_rx`O ٩ÚDaJ2Z1  ;\_'SN+=fj Os7$m$Z<(7- ll5ɑgu}zq"HEϿR8K\>Wy"*FD@ܸ9Pޔ: ):2|'R֣p?%m6w1ˑVA   Matrixu9XFu5^/.%bW?58\`xU--pP.Vk+iy0EY@?0S m7=qZ?O$i=%iwCIڒr\#2XD`ӏotP 0^\hL:niX0i#.٪!=MƤu\j`ݡeE\鮌h*?z`&‹MЈ[`l^U6-ޯ 2tMU-oHwgfV<ܡ9U>%ý2P@т!*a}Uy>s[2A{MWU>ua/]E}Fc4 %G_mT3P}j}\o,G>.SP.1L8~DTE+s_ビ:偆7O}(y\ƙ1 AruEm./ig@onaE!3nvY顸tHD)JQº&G29$1ҽ^VdOF\my8{iOGU$ ƤPv혉(Maaә|{L.3k'lD$F1?c-(T4MOV_ fEVmgC$'NFde"u 6_bW>80FNQgYZ7zXZִF! ]ŗXiɟReDH$ 3gE= c@Tu4~0H(^U.5kCۄ$3K s@ G Qʥ-ZzSDZ5Sdza{"[ņup2*%C+ B\ ~~zw#ŧM?+_ Z ̷I:}2^z LAp_HMhRVxpWQȒq?),_6*=j滀-7HD4gYZ7zXZִF! ]ŗXi%ύ~,PZ7OwU-e)@F7GȜ òy R%>wS%C] J(;e@[{Lخa"j~m7eeoIf?ʐ8t큟& qEbo]8s2Z CƯ5I7ȌI0QbQ؂P:l*ܽdgZ !m#cҧKs&f>G-Z3tot0KP'P8+" kǭzU\sBPSGH>q~C}ֱZ)i2O5Lwk \naK{y(]$ "D4=~n0,,g]ZXWgKB- M T7#,~Ha+J)8]+ Mī:> `o<ߴ+qs}O%-3 uV;f;O1mQ0wjغ\ z?M;0k

}'D' u kAS&`Zr:l8SXyj/s0l&۪ 0&JѲIQ1m) \qM^>= |uqݙD7 t7"]&D&M⤶u9gγ51 ynVM 'ӼkBu:UeiO_`t/IJ"p|k$rB|^Cm6wsX\9 ~CEsurS?pzUd&_/CƠ Js`\[#TchٚPU+E&(@#HcqB%7Y4OZ0>=wW,^ Bql>CHXelc$.#vwWMgcCDR 6&/jo ͔;OLעxXoo|%zU:9ʐF ^iR62r6\GHuwYJZKh)L7AE[ Y0B獉+כ}!d'~Ciuμ>=q7M~(3k¼>3\K3 sQ V |PTk6b-gm}6~-TU+EV'w\{"G!SJhS)U[AՌ~oZT;]_DI [ùy xTWV@nHfcȸCQIA}$oxX~{niUBosԟy|$۬nfD^t=!2PؑॕgT{c/G47+ $ʮqO7=,A$^ B su0',A4y!@Z⊏^Wi)C?@KDMhOc ɳ}"K@Y:Ǘ 46(]zXWhFam(6( )z_*գuq(\µ t.q+3~M-ua0Pп_ӘXⱁ]O /@u/qG23KЎ&VskJd0ir**3zP!&t'X`z$w]G1hɹxW/|V>$#"@+uHvCT^Vv):ia€S,hĕN'y7j^ @]I]v ի(C_ 6̘TrhЅKO$[:,ًZc ^lnYRk46I&b[?']a!bm-"5V +aTO. x|NlX.͔-ڜ/uE)y!d~KG6&" idM]5%ieBDa3OEHؤ;@F@LXa_c~$j~O\܋w컿pgmWR4sKК=SMfB~HbUX}sG0-^ԭ\ V2.+0Tg$EO^SNLqZ@]RrIEQRYJذ'gCSΩz;ށ5VeWe{3f>!9#dRȜ޿Ao v$1Jբ F-Uبs= ?>H>||ԟ}LReJ(a=V6@͆9a@r@-=DJ%!'_)E5A$PogGaBۭE Hffʾ,JgYZb9f67ad0c58c668647b90f5d8c0423b8f635563ed6ac031d3e88d65563eac5f02a097b7a1de9a7e3 f9599c72045408b4573575612b1544f97d3e8615 e9df4ac96aaa27df45a4820e2370310fd3189a3e e124c66131969c6d003e607fde168d9489f2f94b91b72e943bd2d9f30bb08b12c1b73a791248855b