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  L ] IOA:threads=6elapsed=7.824cpu=34.144gc=1.392factor=4.367zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K zLto֓7јЋ>⁠ kSV=5|+Ӵ+&;OTw~2f+L$tԂZ6~ё~) nޏu(&6tt=Ta*m=GbK)@+92᪍7KA*>˛ kU) #WBS_ rHp:bkfm+[CՌJG C|()`Fj[_zQP`{:K"onwruHE. Iφs^}Å 2_0qb엯Rj{aьej?_wyIcdҩuAC;;MBv# /6GM;K1㦴^dx\SagYZ7zXZִF! `y]ŗXiɟdN'LvH۹)S xxѩx0Rck"4I!at|53T6&ǶNky *a:I߳ Pp,7a_?͒8cM8MyT,M tvN2hyLHi[ kLS/ͥng gֹLww >-^*]To fodE߯`,sŀ I~٫ávL\1_CQ3\9{K$$ X|=䴡D\g$Ph%cj 1ȥw]#ڊRw;-&U~ v gYZ7zXZִF! (]ŗXi%@hNZ"m[x &܂ ;s~4$nN눻e@RLk+ܻ{֗>W? +PDoAn썄lKLm꫇vNˡ5*8f&%bHYh{Nck Z޸/9x ̟@p= C넄;4U9̈́3og+0į l"3*5(\pwR"]74yqQ)_R4C9GSarIle,KEnT>1/4q6-*mjMM^of85.r>~\?#No4PpGm$;8*JK5et-S$/QiRq8P'OXtzL׋\M/1DZ5xm݂9>3dvhpWEXh) ܧfBg*XW>-n{ g`oNO}jP#.%)j1V{oTnyd8²Cs<ɬm$(a:2Q~˭KTf OLಏ7-עnTeuNqґֶջŹ0[\[M«9/I5:j]kOK޿jd'mP%6p33/4j 7A:a<['`꺭$B*34l:|f ZU)q~M %YGTgqǼGcƹ1ufB-6B-zV.RQK4RgYZ8339854c61e9757a472c6a72009ef8b90e324203fa50210ddf8b9b3fedb0ce42921cb5ad72fecc9a cb2feb7ec86e7bb71a050fa9d8083329b2967ec4 deb8fa872e792779f7e4a2994bcb5d1489b6d20e  IOA