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  < <A# \ t ]]HOL-Nominal:threads=6elapsed=6.287cpu=13.952gc=0.844factor=2.227zXZִF! )]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ-r@a0:- *P|^R=Sy"30e 2c.n帊dgF*=ߗh~aʢo8i@鶮D>mYKz3[B']x) .bGp}6Mj8#pnZ#G7/ nćj$M.S=j$ʂd D} |gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ~x苦;2eC{iSN `I'{J}YZ7zXZִF! $]ŗXi%B#F6/ ŜS|IZSȾ`ɯ4{OS,saCy˞i?9CQ4(sE0fÇ+WjkQTj" l9 $eo97WcljÔAd f]/j2 o:wyoEDlp뿛vF)8C5vE|j<#5BJ]Dp%hGJ܎jn#w 04ǠuԭR K{VS[2YY?Tٓ ^m~`ikaD_OԗUլa!2CsoZ2\]2Nì>xpk]8\9*GsGGpt8Yw[oAL1Am  :wqSs'P>m´U&4wMDo/_Woއl᪻װP/%NF0L Qv>-o ='Qqfk]CuaJ\=8NJdł@]Z ,0+ !m7tvgS`4w,م(<@3%f mϞt+dIȂ&z,ꙛKlLu YN\~a+4@&]Ѭ .ūAOy;kstﬞF2q|7si`ie"{ Cia=2Cq3S3q\Kor8r!^7:2P.2&&Rf`9Tb HiwgYZ32ea4d7c96e7ac2878bad1f4f6d8325cf241fcc4d6c847931405fa336fce077665f38125e2e96ac1 91c0565cebcc5e75b6ce0f995c80e54f320cc221 23479072d12535e7a427f45af43c7f53593218e78df6abb6950d694a222ba1228e403e208fefa364 # HOL-Nominal