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 UU(+ |D ]/ Card_Partitions:threads=2elapsed=9.512cpu=17.800gc=0.456factor=1.877zXZִF! 6]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Vh2^4-ghm(*wLo 헙m őv7 ~*El]Qj142X[c~yIhZJh$!v,pj9bQGGdtWUC/*k:ʏfCc>}TeGֳ[!>RFwPxGR=Q!5ܺDjv6!gYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gML8 _1E/RUMش}Oȉ$Si}BK[]% p䙛Ƃ+{2qT* _ush2ER6/һ;\mPxi ^ 2i?Dx )Qr*P)ɴ9d> %}C%&Gm{39wDy#pܸl["xN gYZ7zXZִF! >]ŗXi%>g]0M.ފb5;@@CEuto[9+?vѩ,7@M?olbyyC؝~.ӟm+EQj;@78.^zzn59"5NM] WٜO܂ h6XߠuĎM>Fe^|ԢםPa.zuUh:`,a/KjL; aװQ'%S-J =3&M&ƀIΞx^E u]Aa<XXf/͚aD]k"N9rl*ӆyb*gLgW]e y F mpw DU+YCQ*$"O'%Qq&3C]:e2rJD٧zEPjLiJ!ŷ0S]wZab2VfR?FZ?"XAC;%KW`.–a`hFlrdzLæ>Lh(NYZ-sH F4u#Vg;j9[iWl+@vh) N/ԯ1HLJp= k. i-5 "C'f~.r}A+34] =u$ hLԧ/'a=(C Dsh2n;˪kw [tY+@%S M H2TR &tmjs5S_#T,v# R< rTy}N Y3z200MCCq:,=$hoқz'b.(] &J " b.Es]Po ar_w]qi2PBr0WI?}O}F>vۘ9,{GSxWugLZCOk<+˯ړFOa v=5GdC3r@T4 yhAH|qT,}@1PgYZ1589d1490618f8284aed90d28df03e1d0866aa950779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f + Card_Partitions