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 ""[1Tt 4]5 Linear_Recurrences:7zXZִF! =E]ŗXf1-/6vRZ̭|GVu>e5\Of] -Z֩aPV[v@!yfS=4ڤg2IKQ|`X%-l/wc.d#H gh5"H{L=/8ҭ s0~[ Z? H3$,&{sыccN ǻFz=p`۲\X>\ A|ά'#@g]HwRxɷ`O"'bf=VcW8uUFKWh9<1mJ*;֐-f$oŧq7K#B!aUmh=5WG=<5@&rHtDF/EC^4 ńfe(TJs炉zB~4`Tr#l3hBC#Fxz)JXC|+'q-mnkyDȐɈit4QJ'&DiVYQS'>HO<0 VF,^,e;>RwzH/$4JeWE-k!@[yPu}gΝI?a={DD6=̛#Z`;}Qc)\Rtvd皌D#'J *98j@`nnhr,ߩv\GE{4ߞ{>)W!Ti*},+'<*P"l 1H[;ґMt"QohB66IFLgYZ7zXZִF! ]ŗXiɟYW׿5-3x^jxͼʳ`O.c`up3M,M̶(WKo}N$ CdO >ʔi)?[v;$Jm7Qkvo7z<V5[|ŖEk' nt4.ZR_&*TA_4q/$7l>S?7O qd.aw>pErWzy.*vgYZ7zXZִF! m]ŗXi%6SwI U(\:Z=U6f&,B+בB7-/Mo#;|wdAp<F2!X+ SבI9ASuo8wd7\<]¿XJSZP:Tscl}?mܢ0;ҡqDsuA)-!#j_ dNv`Z.Kv*R`L+JX9[Ikw1Ab81y6Kkٹ}ie!# Gݘˡxxjoa9Dǽ$Z\$WZb)(E#*Q%a ./mE7$*izX K^w27fj z9T`cta $w~2,-U4*|>u0?}O4[WݝJѝĝa<>@H4Y/u\Сև`W9. 1 E2V? 4Mjh]z5=+`2» m̼c$*:Bu8 A=e٨0!yZ3Fo^*qXӆ-SIqQ I__!X0h0Kgon]L"}HB ҝh,FIʤͣNvr+7- > )l<}j$#Xѐh Z "UGZPY|ޘO;ݶs7+o~C_[hhbAV$_`Y  =Ӷe}{9UyqZf<)Ymޣ'škgb}.ܢ]Rx1--h5H#~"'Xu";ℊMN#ױG9-VrGSGtJE0R~8ۀ4* /&,A6\шvJ('qoI'gB_u)$`!4߬󋥂~oFCT$q;[n Ҧ)sBȗrቶmnуt=%N 86ƀgYZ7zXZִF! ]ŗONٯلbI>0/.>67mzXL\DhO`:LB`x8 !1vb ˖"'E 9 { kZl1]EZʈ<e< ڦT,;ϙIi}¹bjEFP$4n .TBW]9UYIcm_b ::Ջjd v4BX!MmU-#JaTG 4[*~UY7a\.P>n5n~w~kD<+ ZңYYЩe"GϬ\J@m-혫=`=g5xؕޢmj egYZf0b256e7f72308d33111b04cc56713ef5f80a112e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f d7715951209549f86c9442a653d9432cb122f2de 20134841e543a7bacfe24bdc4f76acc2928d86ab 0d482fea75712f747b73221c2647e7e8df67a1d3 40718a4836c54a8ba3b2a7d8946a7337a4cb4de5 0349e4de6f79d55d3250268e89a6734920218350 681a2acfc49d4e54dd610ec8027543e2f3e49efc f1c37606883f263bd60d57e6a02413bc546054bb 38c7464a7e81c52f07351bf651490326e61bc6b4 61b3865516fd53a965032b7ccc3ba5dba878a95b f1a163e1465eb0cda13b9b36aa5d8beadbf23cb3 1 Linear_Recurrences