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  q q -l  ]/ FunWithFunctions:threads=4elapsed=0.985cpu=2.620gc=0.000factor=2.667zXZִF! n]ŗXf[&-? 409{M짵XoC6[GpLmP-[ngyd鱗h'_Y ?X*m?q[\Et0MgYZ7zXZִF! UC]ŗXiɟUXvD@ 2C \7c &p(AgQGF|7 -bVlL[_Vq}YZ7zXZִF! C]ŗXi%Eb⬘۬vR#`ݧj ~Y>rc WoNI MMqmab, dscq-#5W>fmQR+՘f}I)A+;.3+>x +}e' %]4A }ՈÝ: z5n&2JZ/6.Ky߾ޭbVa{\S\H3v]vB+AǖD(Ұp7I',4FRf˯OY)^-Sl5sI:7 RF@ہKkJgSgay1w'pBd_ɐɂ%*`I!Ƴ ]#X$Qme}pep|fE9/iDj:"#BϢ!/\j2p/F;2PҀgHǿSO",47^ -z=]BH-o t]gηBCS8o/>]ϩJJ_h\W\wn2}Ĩxo"էHWucni(+ӱgYZ26ca702b12bfe6ec4ff6d71f3e4708bafcd316d587d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 - FunWithFunctions