SQLite format 3@ .0:  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  h h3|\ ]S Descartes_Sign_Rule:threads=4elapsed=1.865cpu=6.192gc=0.100factor=3.327zXZִF! d]ŗXf[&*Xʫ&YƛD4Ս׀6'DEĵ[UȱgYZ7zXZִF! [J]ŗXiɟ}Ʌ^3rM!:iK-Iw|~fG+dc@|{R%*UN ޓf\dq}YZ7zXZִF! W]ŗXi%G̉TB=E݁|=C_,zk`1 D3wd8;%E2׿bS"Ӱ %V,ՃnYj qRϸS+f6!RK9{4ݲ)Д1UYP3o4/N=aT}ekQ<$nٽ3>W#>ISnas+3r7pu VҟQh.X„ΧhT{gVXUI*Jz˹a69֥OA4R@08gMc֚i3XQL` ~z~) ~u\x&0e\;kL.38E|)EyLm^fo [^Ѯz;Vk!udE68Z>"7ImNL&)D5p6]_8D7&704^?{I`L UgK|tKlBڒ cvW@T6Ue5F ՋԎ-r {O;`ȭt(hfa>f3o7\a9