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 v 4D$ ]/]ZF-Induct:threads=4elapsed=4.923cpu=14.140gc=0.468factor=2.877zXZִF! h]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[^- y9к%tHA9SKR=ՓAT4K_֕!h6FoAp~9|3#MDm ѫiI(/ cͽ1YW=-ë-UMx;P9g9>1-lmlL,Ad(Ud Sb>My  c2gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەz|ciFeE-n/LּV; wiZp5yXKьSWqx(zC ZMQ\uXT9`,9a+Ր>$@]#{7 k2tQ^bo;.+rQf_x͉&X& d*je_mAo2."O~߱]px]deap7K k'hԱgYZ7zXZִF! 4 ]ŗXi%Bx7_BP" [&GbMYݩlSdnB;>E}1ROjJJgx&P k3]wR:QW~aDtco%LwΟ 75:W?W}a :eG|*-B,H*e{X?k@˜#F[uEe&ٟT;r3"+d3B7vƶi>OdrA%RtIlcp q/ ̤>pD<ЄK`TU5[i$ !'괗}|P%ɝ|WȱqF@{b[rW g3<_ؔ3grwL!97 wBT[p%"j6!|_Ո𾍲~P!o+t ۟i#`3'[.|A23*@s Hχ2y)lHTcPAo|Fp3Tw#6#Y.Z;š܄^PbW8'g-ŐYԋ.`=+{$Ge ݃oDqaVɶ !Ae9\3.u֚(škLXl$B 1FXC