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 e/ Tl ]% Pratt_Certificate:threads=8elapsed=9.438cpu=55.657gc=0.557factor=5.907zXZִF! <]ŗXf[& Z*R =?FhL  V0b%i-o;vWaKe'0[|1Y}% f0VQ!">7Tnvl=lst^f4w2f#rz-T]Tծh<JEGG|jW+ ў?HoE [HyL]"Lٔݥ餉w^浓dkN3UJnT?ʼu⮝~+$ }o~a9ŹڮxBgYZ7zXZִF! b]ŗXiɟIPDOB`7"=0䖀4A)Dh{ 'iu>?;Y̝+HUm8u}~wѱgYZ7zXZִF! ?]ŗXi%>t{E20ylSh`x.S6Hd~;Kd1y,) f2Z ÄmDe&eXr:uz=d^$ :Ӧ" ֛/EYCB\5 KWE]9ih(gsrR|c2?xܽޙʪ̂ XY$OQO)yO5HB32pl8#cBQgb-Dѣ@1Xh(K'?Qb'BT1rr3TѭU!fL?_jNioJT& q:x 8|Ȁ;~]zѩ_6纭s}Jo$ҿgOlEs-ym4S~J_]KM:^?N"h>I J:HAĶ 'B_ALՍUf LM9VB#!1nwcn68~ S?oIF*M.B: O_ $en|^-7PzBjM)c -<6\ R6FQn *1&X*]Aocʙ}BoOyw*|is]n}j̹rJ;X>KY&[]ًt*$9m:OƩ}/XFed.D\䋭zU'C{ [375uڄy(r\49ϒtC7^ [>F:qzIy崑GyOe2`ZTit@jԵ\+TJ$/Vj餰lDpI~8V >}\جu7~^d,ǂRl]X;%Ɋcx^iw=8ok0;){m*^C*QFՃ[%@w1iS: ąɴTͥF, ޛ!*#+tZ9s\ [I1;Tй3*ZlٔM|eƒJq;ߵ ]f&s*fwZG  ~QMf"|ߪH9Iry8 V