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   r' LT< ]/ HOL-Cardinals:threads=6elapsed=7.729cpu=43.776gc=1.828factor=5.667zXZִF! S]ŗXf1-q恈<-¡$johkX2I)']8PIȾgN:EJ`s.̈́tY  څjϏ*HF 6y$ounbfq$<Uv+'YA?Cؠ@*-ދH9]5nӰ^2:%}"rz+vؑ3E6l[-[,kN@ᦖ~aδN:eSf i< IljԽcny(cFSȥBHA|L~A'4@ PPHy&Z3՘I՛kd:)wv[:hXm>NLa7W`P.h"^rLm_5žk5fxT? YviOaE$fӲ:".\/,nc 'C:(bK>N+Su|TȑY!Qwr/3j@Ђ>)u 3b=-!]WBNVȵsbJr[L/,2gv8d3_Dԃj ] M;@B)!J%%3ioq p2ڶwe 3egl0EsgYZ7zXZִF! ;!]ŗXiɟ1?ߟt;9BP2CZz眭5 zQ"ρR% -%'+}00zB)5UAD$n3+7:j ~̬"l yUFuڈ; 7j/2|:`HI:BIg෽yNy.iڦ[u(^&GWj Y8B#R)/Ē'0L&/Bz"uXotEJRןRIZмPDd]~Z/ ^l欴#V غS %m'vFgYZ7zXZִF! ,]ŗXi%EdzTu|d ]m>iԴE6[y J*HG@R4΢7\Eܫ!VSxH%|ѴQ@9FR3@S,\F~=ϝ({6yu[•Wx /YB4AttKaǥUiq 2ŒbP^ #Vm J(NBzF?`LZIM 072ڌɀ3(ka b5)V>\{e6 ^$[gOG?JZ4Vц*Hctw3+3j ULܞ:'@€!`7STM*k{?_Rh$·Tn;`z3%X? ~U.$qVntqZ*h'/` R'Ӟ MBNwlr(25z%])2 3ƨWvJ~Y&6j8.] Cyձ&}v9%u`eLc:`%Ϸhnm>