SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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   4l ]/]ZF-Induct:threads=6elapsed=3.269cpu=12.800gc=0.584factor=3.927zXZִF! ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb N֩"p-jyptPhwD`]$S=Km]8! 'wM#f-= D2c`/w8.Íccķf6k#)ʺ] g.a*[DjQ'@Y (Iw@h~poԤ%F}!$" 3\~4-w pgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە| 7Er%e;RR6zbEe {DT7 ƒIx~B#nCR궮xBm ظ GsY/q$g; b? 5'rR ʋtT#JiٲX"E&sނՂ~e,)` RX˭-֭M )R-d|N9 a $ ܖCFЎI9"4y:gYZ7zXZִF! /]ŗXi%> Wrݲi)gzݰ]퓸э 0.nN]LR%a3;btKy9e8a7d*B C5Aapr0kUu`D߶UIZKV'oQqu3#Q  b7d0X*@N/y~aeA em"xlj<g,ÕήB^R$lAlDPƕc&12ĻHY[{*ΧP.9 Wl<^ҳ4MMq>"o|Z 6|l#=0@95B4`U0j}/h-RSq* 8y ԰"&pL։YyZϙ& Л>5(p~ ?N٘NQǒ|9DdlOzhmPKO$ PB:Jidr0hP .A5Պ'a S6uvѼWB`4zKRZ: nDhrc!