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   v#\Tt ]%]JNF-HOL-Lib:threads=4elapsed=1.569cpu=3.204gc=0.000factor=2.047zXZִF! g]ŗXf1-q恈<-¡$johkX2I)']8PIK#7[o\>q(gYZ7zXZִF! d]ŗXiɟ1?ߟt;9HK?.>e7">:P1쎟Qz[:$ҹ/ԄMj2l,bk + N#gYZ7zXZִF! ]ŗXi%.\/_ZՓ0kP#$-%kY;b2,Ƅ;Z"*}o GdԱhRh$6UP7 ɣ:rGc0Vk/uܺn(i@GwxBS86ATE_ Xٷ7&ce6tw暧 G4'UϚym^)hڦb/G)& 8[hq;+̏Sqy8 =%&36#A9VB0 ?]WsV 8I?XŹBR_xRh>*agM$"{:_s<5_qJ)t~Lvn#c;$9S5b Fqus2t59-(a޹ ٛ> %5n;Bľ w|=ODôp,:yɿŶv")ΩgYZ113b7670202ec84ffff58086ecfc377fe754d8576997abf99a824a3befea0335bdba084f50fb5541 78d538b0670f5b2eac6675be480b250ddc324b52 7953e6ccdc5c1c8aed62b8a56ad4dbed2af2ce9c 2d676f44be75c256b19402b091ad7d74dc54ee5f 2dc3e498b39b7ee6e8a9c96b7e6ff01c4a7110ac0e0218f83ad2bc21df267c0114edb9e4208ba378 # JNF-HOL-Lib