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 -+ Ld ]/ Strong_Security:threads=2elapsed=14.931cpu=27.128gc=1.032factor=1.827zXZִF! @`]ŗXf1-/6vR[]IJ!@W&abZWdTUNZ`[KPu~-4ѭǻ|4TC'ϵRjt Y9ؠM;w+u]8YѸ -8 e=!Vx܄Q@h)]эzuk(ra)U\0&P\6؏A7,>N()4ZGG?,k >NRLfc0{*Rt\ +܉kKgRͲ4Z;AˬBmƐmgxu{]֢2.n @7'$:Z#+CmjRr,F̀\P &Kz8J@iޫ>ϸ)~C[>*^ďJ_[31h18g:UDz_##:&zo%cy:ю!4|+wEUg)V3?S8N'x~޴Z?G?(ʭ2΁E$rnigt{هF8'a^Xa{i-zc 댠x@ F$ 0gYZ7zXZִF! ]ŗXiɟWڱIY\u-Iv*#ql U<$bPi[ TȜxRQz651$?D-'x;p2я5`P73'ÜU CTk7H$8i*4_ꡕ~XGݳuNeRFA5B)@ s8t| ,t5_r?L>Iz-Mgcd-7F|XL`L{9ssZD^L7%E7xm?EKYP{jU0qvdYQss"nIiDck:q;9(1˹AIV1l|[/9!4urV}O|ԨitS'~tߘybv7b \=вT_C>5x9@/1Vn&S JHG"9k^]t!GC7~F#EtJ(!j9/S9{[*t)FOr^;#D,E%*Xڲ}GctrEmTّO<$*cCyfzQC~?@p`%Aake޼/'퍂chi ŞK"8DBT=YqE>+ƚw3;흏C XSkLyٵBD9Ma:rY#V} ɰdUbjU_[DY`7×\zzƾ\y*IxӰ; +=T޵#TofO1?Ab4s͚+ɕE_=Cw%Q|DLdRT^rJLL$M4c)7_bS eZ#}Aa+6Sbv ~~&8^ϻ[쟭Pɭs) CI)v}*EU%4s1\JtLQEh(pk 'װf#׀Ha  yXx|e9[tΨ )FӢ~LmQ[cZYXdb)s&u wusÍ`_$b7g$#'Y]fŊ;'2H27cWgWǎӣm/T7r[@+gyF=԰w`>%F۴NpQ Qg$$+{K%@K'5Zo( V@3iu-P9LgNj+cyhQ^a >|εԷ"EJ5f~!'(=rZidžqe~!Xz[QK^WQ]P#?uyo-pVl)ҿh٦6| UI֥W: ޭ8gYZeeb20d58ad8d83a68e073e02b5576ca452a93501a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 + Strong_Security