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 Z' t\ ]%]Matrix_Tensor:threads=4elapsed=38.301cpu=68.904gc=1.916factor=1.807zXZִF! o]ŗXf[&L_1;vU+o3&[_OC&>ᅬ+=[aha,">;a[a*`J,C IF}\x*N1j&j$l ɫ 9^ul~F$;n#9󀺤XrKqõlϘ{ԃxP"hz;tws'I3M (.x|X kVoJfV&Uh؎hAVT6{Wog(m?W 5S5xeü>?c/Ri X?Vқ3PNSyGf9/O;[αʢ>OPQBNVbpU99HCIA~D{PSS7c~Q ?>91ϫGQr$} p˛03&F`4\^L 1 yn>r;+5$UѵHb \r F}W1Q?/yŽʭDQdZ8"_yĉaȄ"i7(troU,U31o`{B#5 GB=?٤f@k;߭%(l#SvPhx]%qzFZ^ *sϵo.;T@is=_S,)9}".C5- A}$oa :23t@/'O>7iȔi?oSkN3{L't]$:c1,DvnyV#1x& 5;KE-ku?"~Mt/cKm^s9!`W{?"򔽑jg:.{S*%SNTqIpov]vj_oJIX㠄SO:.|'OURT;jgu*u$h:L{g5&=}p<'7K {St) P!='+ˮa'A}b98K}-N;+#kA\R#NKz ԦhC!8~ʅb@I q/W:5O8=N[h,m }V]N/s"ݎg!" M|t 5x}V%`.,c Kpc:05ϳ`:_#xH@̊t u~jџm-+dJnyL&>61/Rsu<|_]V;&.szx2l%^C~:E_~Ds&6R]Zl91dP &GVOn,2 --+sZ=B]-W-NKYpCsEDxmez*kN:fF~R[z\L*[^4[ͫns'k?P2g i*tdqT>Q!q[ґP+Z <11