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 ' 4\ ] HOL-Cardinals:threads=6elapsed=7.122cpu=39.248gc=1.552factor=5.517zXZִF! Q]ŗXf1-q恈<-¡$johkX2I)']8PIzW.!ףĞ4Wۨ\Id#܎E(z?š.lF@zt4j-3|U6{-p2PbɄvv#F:`شޟG'Ұ :vb9WGݼGНM}`( pU\J7I>ڕ p u x]ñkH^tBGo唑&[*qxjOcu8|xXfo7-h`6~0ܵ]pM1MmSYܲH~5LUre^mWQD8gIч6# !RRa l^v؎8Y\~Yj~Acd׭^ݾֈtl|g{w*9m$WIҰt%/&u9}o-CeL|e뤻ye>僁E?HjlyVq;.{I}#BW dƤ#{߼y[gT"83wީp'_cgYZ7zXZִF! ;(]ŗXiɟ1?ߟt;9BP2CZz眭5 z J@m!4cfJ 󾽱3},0T"_ )G63 wTt bT3Y4 9+r>?n0%݄PLjU?,<`Qڧ^#Umsk۞b`ԅ=~qp;C}/ dr*Li`x фwpzZ2F1v {;й*ȧw~XD1OGC'Q3hJ? U[Jn:fƥR Љ8T#@֮1m(O`9lR( 4|\|. HGf(Ͱח49r4T_`:xC*^h ^n|@ɔLF>I^8 ;"PXE|Jui(%