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  W W& |N_J ~kܢH~W_GPY ]V7@}ZK2z,W) j<-ߠM^9O:aUoKjlS$ٲ's9<5;ꠋkV&u  J+ /**U9;192" WgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە|<_OJl5(nXztߨ+;ecu׭:*#R<4hUEG t)`4:ܝv^Ԃ5s!V| ᚐ/{ABac `pa4ݝԔw>HJS\聘#^}w\CXִ+\9ȶqwFBx8DVxJ[$_1`XɱgYZ7zXZִF! I]ŗXi%GM5Sٗ}\gAݾϕ>Fg?W N/!),Ȩt:,YOD-l]mMJs &HDsVC:5K]sZ7an/b~P(&1>D&5IwArtɗr|fu.Qt?|L'mnSJ`B)%PnѯˌCM>+w*avGd(ìQn!ӭ![?rO`|GKphٟS)[{^> ! Բ0coxӗ>6)BBÚX;#;'gLSM-N")RW{) ]lZъĺu_an8E+\v:3}~Mp#iZ9li taz)q}c+j&)yl>],S[Cb%/;A .ɰ_tJͨVch+I\,Å+gYZda7ca718deffe9f60c9fb4a03ab19c7d27e285403ef6c9a0eb470e4693e1ab85852721e78e1c146a a5bfce158ea1be1cd1ba3e9b5b0d5ad983fb1d22f85e1ce3365ee05aa26892122c97392d638c1d9c   ZF-Induct