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  8-\ | ]/ FunWithFunctions:threads=4elapsed=0.991cpu=2.540gc=0.000factor=2.567zXZִF! f]ŗXf[&-? 409{M짵XoC6[Gp"pW֛Fg2}7m$j#!B~@vKMh;FՅgYZ7zXZִF! UC]ŗXiɟUXvD@ 2C \7c &?Y3gvzQ,Y:t(X̩9zl_Vq}YZ7zXZִF! ]ŗXi%B4?XJд+GIu¿0cUVW"U!SYL6v23O$jtm+p aPjYב_0p;KjQGQYUйn %6H!2ybZ^RԐCƆLHAH;N&IF'Z;lɱme@zo, B,) ;ip:zᣡ8`g1Rov豦BȊzXjЏ{3/mq낭e KSmlWik>TUSCKxk4ykhyWlj|zdws,fźI 6C $?xU5Pz5WcǛQ[ [CR􏔘z ,*{7Rc~]GK_dg؍/CCDmG }r%д>I =EU5$5a3`8Ym*{XgYZ9d64e088bfdb80f2a2f3f7f07be4090f3e32bbf89cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d - FunWithFunctions