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 ''V3 4l$ ] Functional-Automata:threads=2elapsed=16.069cpu=24.656gc=1.272factor=1.537zXZִF! ]ŗXf[&-ūPѷ_P{0fF8SS% É0>n˝s @s ׾\Fc9 $ŘH`"c/s7-we/>[jčz1t$KVݞSAuղܭi ŏFѸr,@&P Pe Twbkفc3 I+g痥O/'21JhZa牌uA2_(~Ĺ0'?^@Nt\B pagcq.Ȃ{Paalbv/.^49[ݰY(2}CҀ *qUFwI%wG$I~~Upʲ?[XӷiJ-wΕ09PU}=4d-"UCK1~SS˂s`1^q_h\_^W<9 ƱgYZ7zXZִF! -]ŗXiɟu𮓧xy:Áln~"p&l=@YPR'A,'d]w}ZX:|ma4Ձ^I7{|!oh@j4uO)7֐Ƅ}bWg mqLB8M+ۢ?Bg0DM]mjE2XmW/IqqJqxl`I"Rghx@58T&Ks. B,`OAHRl @,KR5Kt:/c %0 gYZ7zXZִF! [ ]ŗXi%>g yj榕+1 kCBޢcm֙Z0dVg~ho0Ik$\G#W"R՟*&@peUjAHct<˻&<=FFmnq=3p#(R#Q_f6vgsvu!9!Jޏ1NK Sj`sT[/mO֘()$Ul#x2.{b6oOs6z7/Hǫ3xpWS;Ë>bTZc X0%xT]hkikK?ך rS: z`Y̭Ed P !կDS[TCTfS4-"sUR+VqG1j#f&#^~'(iP>uzwIn;m7ļ &k H+ix dR=PGQy&1憲e$Tp1#{,ƹ;m9Cϓ,VaMx[՘IFl)((& @M`VɈj."lY -.UBZf'̌lګڑ~!Kt1^ETn-~ պ,qHp 'IH2heNVe]ܙJ?,Fr[u U\+dsF:H5+`&Ĕ{5k÷4eXeB^g/,ZRߨ/=T[?`%v}ݪVfN39Ns_" ʚ*cXDRNTn(Z\f^K}p\lV%5u`%|J]Q-NɨԁJwEk*vlύ(;Eu}!n<Pǁ[X0ߛ&F:tPAMOipaجG5sz GeeOTngeD2CFj0EΟ妘Gij"VNȞQ=^S"Bg#)lsTUmGs? ݠG=' K x-G%kP [