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 -# , | ]]HOL-Nominal:threads=6elapsed=6.614cpu=14.896gc=1.016factor=2.257zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮGxG*  t~'=t6\oK.!wnfR?4^`^lZ;FA'$Ʈ ;Ư̢d,OҨѵNV=޿2p55NY%=oq֋Z>n"6u'%ӹ|[NVNh}?cj tu\.~Wbl:Yi렢s 3}|MQKD{ ]iZ<<%W84Om9vq] qBc~/TFCꖬ3q9'H%kFr3Rpjs\*ڏE݆m+/$& 4=zjNΞ6uї!=Wc˾rF>RL`cNt)D΄+.B8яC<.oʓN9Vԝv U\ ג+Ey2faΆ^9Q/#k9/'t]؂!e#j2xQLG.vҶ8F/#;C]BnsOwhlȭ2"2S*Y,MmEj41%mTƙ/Lz߁{[{R](Q"^o tTeۏ~PTOb5"{ikŃ l$_ф \(WU#x/O -8 WiQ[zN鱇ӺˮHδ}}fV4/5θSAkŗ$N/$SS4CgKq GQ6N)bt8?̻ +^I^˩发Gy&r=BQuM(.:<6#PD >ҚE[p??Y_hF9(Y Ik@J=6whF `=9s@wX ZĎ/FztfHMJ`gYZ332bcb29254544a20704b8e8f58042cd7ee41702766424c7446fcf0389ad970d2db1fd930834a7a7 5898bb85c565239de53bfad464dfae5b8b608cf4 80c7d778390a22950535bf04609279986b87043037b5086f27bd715255d263f9f91be1a66c317981 # HOL-Nominal