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 //NC $, ]S Comparison_Sort_Lower_Bound:threads=4elapsed=6.183cpu=17.660gc=0.772factor=2.867zXZִF! F]ŗXf[&!9sA~2jP;QJ:k9r MƔ+XKvxYKr>&-t<벣dcoJ88<ʧTw}ƄlISI_?'*<TV#B*86TՏ?(|Dn7dr 0 |7C&AM)ۑU:h*)M}|vgEB*wFs.eߗv~lP9@ ;SdDs8Q:)'BPt0MB 7x%xb"3lwWDF@5L~:PY u60=7猈A{4`>E A ahzH|ɦ^K}U.eY0RE+n Mќ:p!%Q qqȈfÓ˘N A-M1gYZ7zXZִF! n]ŗXiɟFTp>>cP$qXLE۹;w`җ$ˤZ#~ 9&yI˿"(|GB;zh:0GKWEo?&Hae{m&j%3!Zw D.r'sqK~Q)@yJ@%[Q4"#L@T|gYZ7zXZִF! 4O]ŗXi%GGiQi§ =DhYiSd&6rD",K>aS:-\dc_/?daWט%Wo_#j+_v,ݮËU IOJMq6Z!B"7&I-༢wS7=^_MM8mq~QD4C!Pbhw1ΖL;e;b~iy1 SQ,aUb{[ydrE m)6L'q{v_fhA6nwApLl8uMc:ߛK>b kBereH_L܍4dsN'9y ɮ{?}ȍPL_KT$