SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 HH5 l4 ] IOA:threads=6elapsed=7.257cpu=31.192gc=1.208factor=4.307zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K e8b勳JͤdU/Ŗ4-AU"sb1 Q_IJ=K%쑨>s_.7` f_<&q))rGʘRJЩdfUAK)`՚|{^~l-C"Dr+b3#O?izr M{-KIA .XX|2sClsԅA{{Vax^PsY|V1No"o,C 8U_>n1ccw{~28Γ~јߋ'7;HM/s+gYZ7zXZִF! `|]ŗXiɟdN'LvH۹$?vYeqVug~R|i+;R9ּnR8)a-B$I6z'X}2{] %)ؘl`FD5i4{|[܄ANإFCyݵe v4(6ڑW{44{SK;w]s _.i5_zc.A0?QT:txbLpG":mڰ-GW(6eOV!oGK B@ẹ- }l.ϝq=`k.$ɖ.OQQۅվ`lFSQ $wH>6k/ۃVӥ%'T GYe[)Jq*z!,ŎPzrrJVݘXWdTp7AQ+%4bHnـILp7Ze EMGbM,Gljl֋#:gs@3V(ܝ>\NǏ{1̐[_<- N:(*:t@7z!vι5xt!G m"+S_9}E.; LZ"rp6 i2ʇT6-<9,rU60X'gkS3f%K:1CE`L)M 8^b+TnyѴHK&!K%A׹]S1 UNl=YQX|h}m4ȅȑxvW=LRn?{xP kDZpթ &omu*$.Lj %-mqT&9T<~8"O(<3rHPgYZ598fe3fd8b349695e20709fae9b145f492cf2945c56e6b8d00b62917dc219d0244bddc857daf987a 8454751ea11f5c0dd5919b6257ca06ad8a493bc1 65cea486e56f054adabb3b295698f9a6b53b35f2  IOA