SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 J1 DtD ]c]Linear_Recurrences:threads=2elapsed=15.456cpu=30.452gc=1.576factor=1.977zXZִF! Y]ŗXf1-/6vRZ̭|GVu>e5!!OZch/ޟ~BO`ϺS29BmMc8A'Cf}BW պo5Q~#WCYb6d$-=qr|F4f<%4e z=e+ K zs|!&crur :~5CzŐ `8 _K30gBAez{UVd_j¼bX\+LͬpBT0Ӵ ;na2rs7^:@p¿4x`9& \WGL6ښsT xyItLY~w6qkRg\>kveo"K+Uzyk[S e P_((?]_6~DP ‡oJ5k ˣG tg{hOOIx(.WH._JcM TPgq\{Szyi ?S5UQ-<:ܩ̴|0F,HRIL.nhnH2 'bM/E`^%|p ,u yz bD|] :mSQqfO%"=$70\^P泼r~`=&MXv71M+ʱlD )'tñ^܌h<: xhxVcpU*ʍ<\>zw8OXup6e>Xde 'I z'|zèx,koR,h^j YMeDMMڢ C>Y{)Dt*DFw٧Df#$ 8USS')6琊6<`!Qg}~>\}O.%ɣԚ m)^S_yixszE:b=yCǗodM%8G OWF QRxgFaG 6 N]}ur\V`B<)uŀӑy4L抙قilf6pEyYc D,sd<hS+dix| ĶEt(".ՁB8vAuάٴ2R~!]y6\x^cg3pҳe_+Ci~فT`;@ߞǬ'D=~,ڡrrxg:0,wFcGжj>f/'vßE9`pY2DڙMT>}x5A !t'-^AK.x}+ID2[!ZKHk{sMjŰ`I\Xj{'b2sΓ"VE *Z&&I0 ̥4!j+HP \yy 2N*zƤckY\;^hjV v)LES2L؁dy NC} Ns'F?'8h~* 1?bM*BasSe\wu|zܗ`ţ% s3 8Z~"ǫx HeJAD1]O K>yhw!٥ʮ[mE|e TPwl" v<,?k6Z?3Hh?2hMS|uC<=nJpv:h种^~c+ }ONEx0}"ְ =ñgYZb704aca117a358a06b9f74b003feee4b3c1dffb9665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b 5d78552cb887983b70c3b7983c4c3bdb3374a7e6 9fd8f913010b5a1187b1f9769926bd0952d3ed14 64da85678757d4424d48fb7e9250609785358e2d 8d7ef531112158e1ad90f0ae2297694feeb87b2a a2171ef86d8b8b95d8a2fe524435d09caa7272e9 76dbdbe67805a387379300f941d3838198766c6f 705d741466870c60f80c44a5eeb55cff62a506ad 59d7f06cd7d0051b5d3d7ba6f462d08e3ffd9f88 d1d20a2da15beede918dff33c6168bc2a7e89e5f0d2a25c5c6aec0554f9103a58b5fbe93c8482972 1 Linear_Recurrences