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 NN/1 $t\ ]5]Linear_Recurrences:threads=2elapsed=14.996cpu=29.244gc=1.796factor=1.957zXZִF! L]ŗXf1-/6vRZ̭|GVu>e5!!OZch/ޟ~BO`ϺS29Bo4g{*ǿ|QUr@t]GQq5 MDf0Z|%'$ʕ(6d= @ėO]UoP+5^ddGYE..a1^[hnK8>R:1Gߩ8("\9m3cb?vDށ 2d՗ɸZ! R5ɷyA0Q9{ Tqżoجr;/F!kġS.L{z :Cb\Va3=C* gsjn..v;^쉇 _zS E8̦lO\{MHe͛ ')s^ zD_V.H;Ǡ-_ ϠsuDJSՇc @}!FIgYZ7zXZִF!  1]ŗXiɟYW׿5-3x^jxͼʳ`O.cb/rK!@Yӣq*Bw!5B`YHZFˑ /gAmĩFAuiy r*0Xtj ~MжG] FU[Yޡk^!G*VQ.a%73ؚW{wrzsټnC +i4ޏ3KlZL9鲸c*-eIsȾ!l#Y$ǯ6l~Kߕg6VvU3 Wb?[gYZ7zXZִF! O]ŗXi%9#cAKw&f+&jm/zb-`*"6\3݉֒tH IF`X&NZ FC"]aƪ\nBS6u jO`)698ʿ5\gAw Y@/>TyaJ.MHts&\A\pl3)fP /fIQUjS-A=pNk* aםZG5-@w 6K@ŞZc-=u˗9ĺ_[!koΣ@j!YF{Ld++9Lqrg0Ph걮٩\ u 7Hג^Q ĥ8.&MF#*ʤ"~Y\zH(^LX :+sL.qj=ZoMa4d1gt /+a-úYLj5_LN Zh+TD/p봮b<<d6M @L[ZkLu}1 ltiygmb#; $l FӤD 1; ^.l(3a,t^|HQT"9k5Wd)xru0hd1RMGn_E!}b{Z+"S՛V02Y&}s[y VÍ,4g9T܉Ek-KPsrh\͛Y QxߗeH+m=@X% FYenb PvxBE27w^HK|%.T?#E`ҕ*KIM-4g~|CX`a G! sj@:ux+F‡: (HxFW *.Ӳ-J C+t#eE2Yx/In(9Mr3?oQJ!g 2>l$ƊW9ihۥoM;NՁ} et,VĻ( Ҵ n#y< g1$!Zө=zRW{2jj55Na4k0eرSkD5mwEf/P$: sgYZ1db18c7429b6aed4c6d55ef0e1d436c3a4a6d35d8ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c 3ed685959535f1327bdf7d26aedd8065b9d7bb35 4c54cba45bbe8628a200be1c04cfaafa81edd9c5 95ab95310b6c52ae71998a3df71f322e72d4673d d8dc87661f641fd57b43604840e3147624a4131c e60afda5407aa37d9cf173485fc6b87ef17c02f9 304c5f99257f859917d8b4eea01f59c9c268b066 60821691f7dbed992e5d8c4be3b36bb9166d936f 61b046189ba8a70ad45adf19b0a2d2c6fae1d8f0 3616e7fa13c16ae481af3928243603fc4b13118e 8370bb9a0d9164f95c8ab211c594206812a5b8cc1234aeba9fc2b3a42a979418af4df6d88c37f2f9 1 Linear_Recurrences