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  s 4l, ]S PCF:threads=2elapsed=51.246cpu=82.936gc=2.744factor=1.627zXZִF! ]ŗXf1-/6vR[1Iq@>=s(qKgsohvʯlӦ cΎݘ'80:Pe;ەְ pS}$/(}dHͬٻ׫֧ӞL tVt:|ԣPcz~EjPYǭ;?z `a5+CQFڒ!}"?,(s@T?B٫oc<'gr$}PK.u JĬy)RRzPG뛿DjR"^@N8Yf^[}Lc!;CNa;;gYZ7zXZִF! j]ŗXiɟ1˦r*E$O @zֲ_}@amUL6 ϶h9(.@yaQBq)4 _.¯Pgl R @&\;R " !6qeEąFWQW.^|,+GG!{N, AͶ>uCd%7mmqXwE7ĶFh &z6vqK\|xǝc_r[5zcj&@ʧpdb}́8uU˰ܼr("xO֏"KixȬtm͏Q-B"b ړ -o6iE›y4vT0Y> UeՊWquo`viM 4FH|$rsnK}I1'RuU)KE\C|4 >Y1_gd&G*l,i b)0Xl`k}М^'+4L2KVk WJ`yf2}RL{{.XQ`XU>FzS3 +YO q GlawfJ3[{sˠfw w{xyeDd@65)iy,:i?6wy̮HL:o'dw"ٝ[2kWAkzF(0R'YPYO,U!=:׉)Eils蚄16.3yw˅Z^*j43\'I{b֕Ty\Dm&t(#Q(U_BWޚ4QqkCC>. s r՜DȽ'$OJ-L睫s EV_fyF&NjАM;3R*lxN5FHS:]Z$h_AeRw#ETfR8%2C<\s)P84-ֻA% BD>&*#Þ@:X^ Qjیj5Yhʝ)cV Q/)R! O.F47SF@Sf(:0 3y V~%&&!d,#Oqy}B*6]xh MG]6e{k~r/Ɓ; 35 bP8 ALѩJZY"mOI&6V֎J^>T/WE6)D'Bca)(,ù/+|=!|x3x9@=Ҙ`xHmWP05g` 5x }cbȞ7mNHU|.¤3 !cZv%Uln穛B毓9-_F)͡nD:5j,gavXinLh5Jy`=>])QDmIÒU\RK wN6v9AS,f0ZlloA0ajD;F~Teɞ MOOc<$9(,ͦTG왨p֒`/1Ir$뼮~Fھ8d+]Y{z}"ՄPQՙ?^>^LBv vb%8Ϭr`R?+ S^Ht T*N I6 /:nz2˾gYZ00e5b71620e14874814a065bb2c4d0b77fcf731897833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 d896252f34ed7d3b59aa30c718d9a966651423bb 9e4e1baf223173eebced021b33ff054d8c6042a9