SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 EE8r,d4 ] IOA:threads=6elapsed=7.535cpu=33.972gc=1.6087zXZִF! N]ŗXiɟLe5u%\ 6+4r$L}ЗcNAxw6!Aep5ǻxf 7!@da,0G* L ڿF܉zHv"]&V47>q(>j^O箪o$t].gYZ7zXZִF! `l]ŗXiɟdN'LvH۹/W-mYs!"[Q8(!ej*A]cψ-5qt=Ԉa8]RZKSS"$/k>sUVo/iUAGBD t eз/9] RVn3=rF< Nt{:xBF|@"3~}֕H-]۩Nf0sF8aT&,Ѓ0pE(|Pk&w2B<9|8ę02cYZ /YP#^8;v iG<™4k.[ MmLA?]5u ;’ 3BgYZ7zXZִF! $R]ŗXi%L(h^o[0C7#Cn!>p}IdY-H oiPnDL,B yxFX4;#}џB0 0-F52\tUoc @LO>z 8s/u⻻1Rhl 6g!XḽJ3 P%|*֪\drf7$yjmu >֚wlapn20ge/VMmvGDJk:9^t[G\ze-n# [yeá,A"#4ZpsKߓ|jyIf[|z\PíT 0UQ 4D2FMnovoW4CiM+,s$δ @6͟8y#;׃hwdŃo <RH0]i{ȓEӞ(Ok8R¿\%C̱}?*݂/=p-9l"i{Af#BV=Z&Bd<% @HKx0 nrR6P]ɠϯ]W5Yd%, jb̳"pkY:+BN3St싳3~%CVLA+grYx-fF^OS}5tLZ$;fp, /)K\}oJJzL`~>>$ I\s\Tu)Ū'x÷92n!nL^9*K't (\vL Ԑ>%230 9]uZzf :APE ]rmʋ}9e^1Aoi=|MQEe|ik[ZFF9~@b|k! `=,@ʰe@XYo]%"$PrI-UgYZ173137c67fdd6088463ac161d90e8d8b13e5de8fdd4458878f01a34a1b5791d5d83a4c7fde98b709 f992b25f144d396e58a39d8cc82c7030f4bb4c7d 6fc7ccc2b22ca30278d5ad5c4e1620ef226fba0b  IOA