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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info i%tL ]/ VolpanoSmith:threads=4elapsed=12.532cpu=23.440gc=0.8647zXZ ִF ! ] ŗXiɟ7KIxjbk- ݖ+/ ]π~jb7,y,+`I,PKLb4C5co.vA#XHV<0G#5IֺޚLsF=kЖhYsQiԕjEDfua--ߓI&⒰>y ØPkj5 Rtgsxvg3[%"M1Lv!|VOkOcŤ%J,pV'zD:7u[xO <>J kt[l8Fy](EfO .-Č)b`۹t&4ߊ,~Qm.}`d`%i$.F. T|8 !R8ekJoCOk"NLH1!gd&E}%ċ? |PX⏏1X"_P!-"1;b{5yB\X 'AJ1 [sg YZ7zXZ ִF ! {] ŗXiɟS+;̕*A!@l@?UVfpI3N=/=L5?WȬ\sylӸyt}d0]$HhY(VH7 ]9cQ 9g YZ7zXZ ִF ! f] ŗXi%D8W6C2Ԓ4NJJq]X>195aAAFL^F7om.`N7dj*˳+ݥfG)ڡUE |:CR JL8 8"qk~>& +|LD5|f (2ec3:|Ig;G/OĚ%,PZ0Ƴs]r-zgPzӵI"NVatYfR:HS4-A$/IVo]`+