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 W t4< ]/]HOLCF:threads=6elapsed=12.683cpu=39.580gc=2.816factor=3.127zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0pX󷒖씒8[ 0V|n;*O]%͕^"|;xn4\H`=dVom{)`rٵ_JI7KP@k/e*ӯ5XwwRVo55?<@io.v=w.Ҳ^bHBajxA %ݶh2I{ihe DSxk89R}ᑴjѦ(*,,L1ak Kt+etZ>a^ER~6<`k];EU45_@%HG6 "ۿk+^~+C]I-^;ϸMz<;W}¥+ЅT1RSwC{޸'1kz ]ށw׎*qlW{UaNå␁ҧù+٪.m,&DlmNדE* of>^ݩO΢?%#_< *֕?ϛ:M~ # /B뼢y^C;@3W32)9_i@lB|K1DO^R FB?n5d/h"zPJsۺDdrsRVjā%DagYZ7zXZִF! Q]ŗXiɟ>Ӈɇ9S2]mOai_:2"Q..xE {jig%Aa$VA(Z  P_9llsa/+FWYDP[};ₜ8Z5:OXƎUC2H*rGf: mm,~A*$Ɗ.gYZ7zXZִF! <U]ŗXi%>oaxɝ5$C|g~U!oƝsݍ1GL%а._.S?2×G?g}Rv& ҡج)-z;6,(!ڌ>I7RV2Z#I<1pJvZeBx;S}\;VwQ-ҏΆ*Sw,!qtʤTؾT z YG\lL<~7-[4G4&lYQ8IYa=Nѐ1qHţd];y Qחt,Ůa0G/ڊzy2m-\鼠zE $xy&s-4JSpy2i\S=Z]o;-Ci7Z` sCO"ec{kuvPD/`@Rޠ*۠ j5=Bh"Ȝnnt #2qAH`ɲXWƅQDIyER)un ?ӫB&Z+$z FiߡT Y'[3Jq׈ !eD%e}ڴdDwnb$T:DrGZH9$?|uvLmSbfs26y(ow"ѦCj$1K _(&uZvCnɗ @& &ѭz)r;bջS y|Ë;Fޟy8(UQaJVLi%Q#8uj_"䶽ԓ,^R"Tx9f9[k"ZOwE(:&}sDYN߈(@kFR; }5S4&FEӔ@a9_MuEɅ c4Ŀ#HG+ShڒY'V]st 3 ,N%&6DW,n.1\\ H!odG%,_Z!P7