SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 @) T4l ]/ BNF_Operations:threads=4elapsed=10.214cpu=35.340gc=3.196factor=3.467zXZִF! ]ŗXf1-q恈͐7ӺV 1̗e&$W$!>έhz+>뤡,[>u:^Hq*c7:`V(zF5L8|ߕy<)CVu"3 lޓ܈l)o#R~Fzg{LߞL-'/k\JH~Yɞrendf?X#i%^g/ujaNA|{'DXwrF!x[ƩJaBMC$TC69YS0SpEDH/O08jEE*:4+q}˷n])ͧI8;媋;-sND]βqw' JHI G{PGؘ0J4k0&w=V8{7[Iϴe^xd_&E G!i)[+ BL) hB\ȭȐdqk3zKgYZ7zXZִF! V]ŗXi%G?1Qs,Mh*g*9pnS E?`Q}fk#)-eX놢{YJHSi=[^;֒B;X/p8+_`ry7 {cL2ћP]}:٬{{8kbOP]nNY̐L)f~tKQR HXod&쥀)ݢKDĞ$;Ta(a]cfo .]>wlJ|}$3X'C{"rG0#OvHnGoW pmXʡJ##tUpi;QژM=,D)J/ T­a*\ $!)srwлo'2Z a? ?3A`KfjZt CZ[^s?6.7xf7g9.0u%8cquA&1h -E"rOTPr:-~Vdlӿr A92_i /5;v Nhv[5e%bvH, _n.~٩Ϩ=d(' Bs#J1ƽ=Cg'Ay׼ `=.^q ƻKQT4* V$ӭ"m3TeDG7k 7R_ Wl>[ MF~'[Q3s^U(P8Ѐg?Г]q=kqV| L#=䷼ڙ.Ư)AnV3j@ԫ ܱw4;WN!X>3$8aEGˉ6Iaj}:paӤ~72D(>< ;vٿ0 8;a n`Gο˜¸z}̡.52/rBbU:QYN| %z$4}W0ұv3S _ 9MژGUIvTKԢ1B$iwAn;9: $M"l)L'SӫDEے?nSS44.`W2^Z45^Bp!"{:{t{D1sCQ!u7Mcx;" m`2+U^ZVWog!9=,[`zbϹ=hvىiI]cک UI gyRDZŏ4p+AB6/LxJGh}Zj͛сYj@LϻxB8(@f  cgYZ4b756bae210dac3d0beab891915651bee64c7f924e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 ) BNF_Operations