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 c5 l$L ] Priority_Queue_Braun:threads=4elapsed=19.309cpu=43.836gc=0.516factor=2.277zXZִF! ]ŗXf1-q恈%kV^M[-\q^: C<=5`7Y1] ֫vF1Y7tZ7YB BvX2u%WMڞdBU1T.?&цV6DN$֎[)5tQU$?oPbE-uk(<>tl=,gWzT*880~~b -Ji HR pZFijCu%FS}fx iGyNb|oyQ=}%+SD"vcx f|Pm{%;>BAjVG["?ԩ?%AQ uS-b&cA/9 w~"g b',4) ip[6mG k5lj9{vо^HR@PX%+v)={F+6*s` ^X_~K!-²gYZ7zXZִF!  ]ŗXiɟ1]" M${np^PTܶemDb!مx4jF^pp@v ~ rΎ3%\DHPnܠzn9 !|b92gb Vh湱gYZ7zXZִF! } ]ŗXi%B ,us[7i@2LzԞ.{2`Ü k;PjXЕ"JoU3 ZtDJVIH"wUz]ۏݴ"6!nP7ugI*sL*c|@qTƼ?ܷDw~acC-JJɅrmF&5IzĈGd!Nh"ˣ;z}AS_2"ĠJLJP}vMnǼwP&9ԣϼK\C%ICInyAW‰1.zv K\Lh`g%ZhŞ,:=4VohضsY u"恽hC(Px8e@&_~ݼ@!=E/g<1^ćfU1[%?h>p;1chUZN:EK+3+~e&$onkjgeÝWRT)ꁞR[uUwEcFtS2ϘeU]ȱ|ݒB R= ֻVdCf,cGk $yϓvWєzTL7koz #+ GKQ0wCb#8N8莡ki\ OֹZ͵V܊1*GGI X=B~j!<#@.Z Rq, YBKmGj8, eMX3.;Sϴy9HԘ-,/WB094خѩ%jGs!XUJz* ֞~M֛r8? Aj0t;ŰpHG˼dNڌPAV e`G=ZqpXɱZ neY3Jb}`h_:e-R' ![jYL(=9pm61Ǐ%d"yVkxt|=a)9W5](<7gߵEmcfDxOܦ˙rmIg9Xǰ;?Ԃ$L8=Mߜ̄ VóiALyC֏0i;lXޯ1 [Wv /