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 <3 l,T ]% Residuated_Lattices:threads=4elapsed=29.552cpu=56.520gc=1.624factor=1.917zXZִF! )|]ŗXf[&&i{*‡HiBEkև]?<}KvXejVPp*tO/D9Q\gxkij/Kb0׆ pIc}愦ϏR^aq-5%-Uﺯ܇8̾> frN"UE(3hf B9W}]4_yG=ggp d0bZJ|sʬ0WB aݟ&-j`KWm{Q֣tII~pЌ e8'Mrq7qӵ54 PnCY2 3 Residuated_Lattices  \Z!1` 3Nn&3Pݩcg~xHq@H+Qa:MY73bs g,ES"I=7+Y7hܷe0#Kx0^bBw4uZ 4t4yINTqEgHҢD06l&ex6DhS\"6RC'2`D14[_UQqdzj mM^f S[+mSt4kB<\VJO1A@g)rpfv B"@B@;( ^EÆ"-4yӫ.oҕv'5TL`fx"%+"|VK Td  m7la q?J`{s;jn rY DTYcEY qFYmO#Ԛv9v/PO 8#;o~4Q'dxݥ,\#_!KAzujʀt,4=ZïK/nJ$rLWHzH(ɔh/z+ (Ccoޙ%C+tPEx'hq;ZdJ“n?5p(:~*{YǠ6M$"΃{uu͎v~v*~3Ǐ .SqfY?k:H|:#zp@)>ݘYH :7E $\1v_)^YXh!&6tUcdik*PIj38rEZ??A9=Mpx6爵?#`nR>'"oS;`T)H;-hƇt,on/G;XmJVVk2[(*$q-J0[U0ii?OTp26MgKbvʱ1ٛ׽GNC[sv>Y1ˮx_ͭ}"ڟNkCk bʙR\UjߺG֏-gHb7E4cBBOffQm/T́=f5QWu8+kz$gИa2C+X2CWwK>kokVjnpHzP}f$(9.kVNR3Ƨ&zP+k=UggYZ91e1c2d9cd136549a816cc2bc3e2f3947336a1afddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 edc0236a24935ee0905145f501b97eae0abeeb61 81aa08c8a613e4871d408bc3e688035e557be623 0e90d3311b17a96d3c718f2f4fc8c0339992207d