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 jj/ \|l ] Laplace_Transform:threads=4elapsed=7.576cpu=29.164gc=0.460factor=3.857zXZִF! &]ŗXf[& ny$d$Auc}a Lv~9G=RK"mGG cFZħIFxb0HlPrQn.Ỽq*%=Qލ(j_ީ06(ް7doC&lv];Mi #!ЧbjR _8 +0jGl!X2GႉP^@ӯ$e&* bl/e#zH36Cc&t;D D*gu0ڢyg)k >1qeVS8wy\k$Ϟ_ YWȆ_wآZwFzfD KŐ,W$cW'ZdX-Aޏ9'۳0BO~َ$EioX@Gj{|=]M']!6(.؟Kt\,&/y`Q`$\ \ bu%"(u+Ui'Ey'gYZ7zXZִF! ]ŗXiɟe9 V<_xt21 ~s-㌕O4^=ע&j3X }XZ .iH=a|}]q6ym ;F3[#ϯ Ѱ#VW)«{W.A~3_^g{OxKWڑ,|>rngYZ7zXZִF! B]ŗXi%G d9N@7Ã+nQ*TCw'U1 dWo)ARڔ殨v \D Ũye4zK9r!qr\фɧ)ت&"o3?nrO7Nبrgnr`^"oͰ$j_~ۗG}_ ,$ECI. ZK&q[5eYE.Ht]d8QRz2Ӏ]t`+t+xҟ ' T%E6dL 6PD|(xK{զ^+GBO J"mV"I^iș{D(&J$[vrc_7*]H)Oղݻ=qj'Obms&2S!a3Z@jl&VW[T'nTd#jrǭ4e[[2hWXA<^đ"1{ƒ[rxFu5?28>