SQLite format 3 @ W .
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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
r#\ ]S]Polynomials:threads=2elapsed=154.032cpu=257.392gc=14.708factor=1.677zXZ ִF ! K] ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=w@(bM.$-_I;86#:q9fN2:U)B4t܊z#fǍzQؒkYW1-cz?oPlR"6BVϡ7,
KP2M 7\R3n8iTSXٲejFqi1֣s1B ]L C%_Vܣ e;a %N#c Rqқ{%p|f'IZfǙTOF?J] S0_N䬉៸y7Z%w_Vޡ"q(a98UL"3p,s6)eЬkq8RM5,}XX7aD^w)-Min6Xdbl5%hM|G=iLid{V4oZb>G NZĭjjv!dπ@%i0Utk4F{Z]탻{ C/DTf*祌8ċ~ާexv)ZlOZ(Z@YNF
E}1bϵSH@ix,jg̃QRJD2\>pb87D7jU
z$l}/F\kx{G+Lx:liEvwF{*..k79nj4/}Mp"[C}EFa|{_E^XnȌ97(c+[lB?x!vv|=HnеI!*8'lkհZf38S®'ίZ~S8~<6ফ#?c͐$9I
HDI"T@?r֦V 5JRbs|U6;-6aecσ!*P S#^+M}Y~o*ӭ T'n J`c
p"h(qAG h>9U1^8uqJk=>2?ԃ` }[JR~sSU;OByR F Gzq%RNA-7j
3T06펹r + h2ɒhnD_qF5b2C 8[b>gʊ3*4dD]C@jAD
ѺVjOCt!Dwind龽G9&2[/R Pe19Lay**7N[vޡܞRS`5y^_]]8 ѓV[7DAA+&6Ơnpu1wr:X>K ך@*C#Bt8C"=9֠/uW7 yD7[:+|KLMK:?JP%ZΒ`nX%D_CS75܊9k?0]ȓ&+>t<_6&
S9!e)3ڟֵ:?Ѭ@a?Rw7[0l)ɘlTr1oX/H3p9V&E)D,Kfn
>*oeJRQaRv@z9ڵe&0Ne`LjH&F)(1ihvsrz=71HQOKJ.PALqN,OYCtW7qNM!v5/ ,"* ipBjRcfxuU_N.htK 9w xg YZ7zXZ ִF ! j] ŗXiɟ|E\Ât+.*aphG)%uG4NH:C5הOfzEbPmu{Q|wo}N<@r|SxVa!cbX(RCY
@RԱ>lÿeO47[p\vt1'2
6)_m3AQ мT6GS䏪=XZTRP*9>-Tz<61)1bIҔ&.|,ΐ"Ni