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 - $T| ]/ ZF-Constructible:threads=2elapsed=15.741cpu=30.496gc=5.964factor=1.947zXZִF! M]ŗXf1-W5"~ H:Fi{3g] U_ 1T44}ό Pipj*ySbURʫW+ lAt7ŶC!H"Ȋ"ez!!t+˪As=K6IV8a#*v~- kQ;DK ַR.}wg11_~# ˛PiMa#ټ i$EU1j%7/rSckNɯq\P˸()8B8/۶[O3] }ZV* 3rIZp[[}kd}h# ,`ȍP{kO[ 3^x!5V#n \MD#AtN8q>6@uklۨ-%pޭ-e4di;mq,ԥ%,U qgYZ7zXZִF! a]ŗXiɟ95ZrY!Zg>3gAKr>S@g /X{%Jډ ?ˌ-c9T{-)6>XH[he}vG+5CfDx`)ˠW-1e !Lt HYA2M̤o?y*JAd1:X@nĥ.JцuV gXi{cCS &;z}.0.?G}ҥ#NnqV=ĻXKZ$ "1w*Rۗ z12qeDȀ Nۉ*/bhG>q{RuumU2DB1rSIdKxtx82)i9 UE۫$'U=|RK r<7_8C*@׈6^z'LG2N+. ÖM3f6 fFcq%ĿBuО+WǏ8/W74ygfkXuB(}s 3OP{>{4rD GD7rۄ9h)='hoSvSL`4gZi{5% 2P#S.z{BaOTckbVAgIy#Bk<K,*Dt5e8/'LZ 6v`eF\[_ 9G|Ll7X/9 r[D*2 *E /Rֆ~k8rR3"pZZoDfѤVJ9!7Y n^aEBķ$ZiG,Iء.uΚN(ݛT_i  ͳ%D gYZe83958e80236bd2128c53f8f5e67857a706b7961d50d23da2fba2fa66eac370561c930ef78815f64 fbd60fda684b26456babcc46f437c22d99729a5b - ZF-Constructible