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 ) tT ] Error_Function:threads=2elapsed=17.766cpu=33.712gc=1.732factor=1.907zXZִF! <}]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJtSzlXQdѶi {߾A9JMϞxkmΚnZ26ONێͬ$ӞZ++mfyOb[kFy$ ԭ?9c?޴Gd5}U4z Sc +b7q65Zc~]d]עZ^~￳ة B?0i0v4]ѧ쭅u[=]E$:Z+J5Y%AKܰj&|\4괱З$WNxq^K/#;;9E!*/ݠL/`S(@ѰN>lx,1Cܥc8*L_аE k@UkE=JB,z:a]>B:yhNS,=vʻe"^Y-!]"uִ3)?F ƻYA1IŻ\R^+Ձ5;Ҵ.X_-'\ӪWAٽ5&e YwcT=tsh1Z7J&3gYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $7 Y{n\>VA/Z.%%Aap I;pbgYZ7zXZִF! b]ŗXi%;HS\mWƙjCq&Ȋ^6~?GbfQI +?4SW-v4aS߃ia9Ec olu~= 0Z| D_sڗ:Qih߸w{*0c[O~RY4X ki_[Ζ=#fōfcPvimiV[As,эohiH +Vn?nF!' z8U;XY+fQH"dywKGgj?g`g|<- .*s-#=vo +wW*) *cffj,سP*URg ~'L=d}>DFU"DU%H9ZL?M{>bXS 6r 0U|U6r0PE_FbbV_MecM`m02`*^3Cl:>5XљRљԔņtbeD"7dh&ozWMBZD{p'xuf5L0%bE]ִ:[F C4k j`PS[O_eK-wOV wuA /zFyQN~ю)CaxHbsr$"528_iSQ052&3Q/ :f"ʢ 6HKR'󨹞 wu4?_^wxD;Iݞ-mY5 AJEl4Op=H0=@߂ $eЃJ!u{Bym[pԿyGl2Heڍ]*YBX#0-wn344<_oyUhؖ%t%ɐAEdutE4$t< H}cfƲc!<[]5vux0bc; q3p@9 ƅU72jݠ=urQ%V_Fڟd N]Y. B&wi/4_D'OVs!rꄵ5{欖,e>%&x_W8c#:j镺6d -oXC ;v9Bg"#1 0Feou:gP}V6]>*.xԥF)9خv5M9nw'7gqLr6~(gu.F )#0FFOFjm_{s3W:N+mWNJfVj$'0۱:[