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 l dL, ]/ BNF_CC:threads=2elapsed=21.940cpu=40.216gc=2.812factor=1.837zXZִF! ]ŗXf1-q恈͐7ӺV 1̗e&$W$!>έhz+>뤡,[>u:^Hqί\-lّ91N;(@nSPf3*晒Tl]FF<+$*=HӰ!kxވHKG_""V ۆ0ݕXm2qwQRjɖ~ePŭ=vtѷl ̥ԥ=B5sCl Ja&M{aZ47/Ԭ CFiiڦ-s%-4ET1滂C͆8g|IRgI]=q!;q1[=7!n`ʻ0ǗBE}[Op,J;)YU<嶞ZR-0u>y(%f|o6Ç[XA1}?wn0ZV`Whά6Oņ@XkLlbmv_6S!#%LgYZ7zXZִF! B]ŗXiɟ74p1=MHzڰDbnhp澮'Vb@u ^hEbdb#~`^s(& sc}$3Έa9MhR# !-;?wR" iɩٌΪW8:TPQ6pSp>)~B_)mu#>w#5qؤEe[i7HE(R.@}7p|{I-L?΂Lf+}=I0ED]tY/~Nk@e8G9V BU6<USL۔@j iy#Z"⻚5&@X0|[1zvYDÎ9+6@[Cnƀ?SsE=qmymXwq ?wk.G"W# ZVgYZ7zXZִF! }]ŗXi%>gPܑ&vRn?\k͜)DK*2ٜ3_֏h5䘹PGP,(0f%<%tP,M` KΏ]Ї{PɘۭiQ\buOə0yLD_3<2:Gl4H"m:1޻]m+UsxBgBEoyY$)zD9f>f:eog3Sncv8[ʠlD}w[o]u4Z-jFbl#oK}R.^5W<]ә^.7wߦ/ ;= %8bػdᨯ8R<ފLm5,>'%1><"Z6y /^~kɖ//J8k5?'ػDC;WH-XBvT?⅙ivzn~>":}n`v ark3&1w> sZ0;njAu4=#ў[ l &hnZu29(vYƾ1{sE$:)z0㍗" u¢$TJHSS'Si*AE?@tqheg] KF-6VS6 m}`>,O"rj p-W(D1ݐ"1;b1/w;gNdꮥ@Rm*SiRXGCYn.X>jlgD^'Kg\sj \8˲#5dWo6u,3 ¥H ;/k Exrjpw~[CC p#?l5bfhJќa*gԠ",q ~ؙڰwO)t+ߙvo\MB#g }')<$%~?_Zf}%/V{O/X{gS'ɺ`M&(`wNo7 xxUgD Wut5 ,^?sbЕ-lX!EBL.&eC?22]jTpaiĸN@3vx=wY;{b (hgYZaf8ac12d86b3a8c2a829b13dd96be364c9cfc44d665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7   BNF_CC