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  ,-dT ]/ General-Triangle:threads=2elapsed=0.737cpu=1.104gc=0.000factor=1.507zXZִF! "k]ŗXf[&CKH|CG^ӥ#CƗ·*TC^ Ic24UyX-]j*sǝA%i׍c+k=KaB_VڡgYZ7zXZִF! TG]ŗXiɟX/ZwowUrO g }v`Ƒe<'2 O;M|ړ[1x 3U8LϬcU4(Wu}YZ7zXZִF! ]ŗXi%>g&i]4;n'|?V缜BoN:z9*ssh15<`(7tӟG=i 4VljB4MZ*9t| ;aGd6†JYu[ۛه_5)JͯUF?Wѝk@;F<**@v spx"&0w50,m+n bybt~591r+/jxG1!j *];QyLi0)#obz9'*m0b,ki/ ƨ4hҍu.C rAP!* C F5A=>tMS-h W_3SPY\yrގDIO10Z&-KF5Uj6&7_V C0XcIr#0:}&e靛!16v5Q9*XcgYZ2aaba7510db768b029578e1f3025c3d29b3451000779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f - General-Triangle