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 YY$/ t ]S First_Order_Terms:threads=2elapsed=8.958cpu=15.920gc=0.916factor=1.787zXZִF! ]ŗXf1-/6vRZZQUt)/ǠaR7˴Mr'm';|Ҏ|s,1ݝjZw}sXU4MJ@˫k5V5Aة5H)lDy?kIGLA^]Շ][F~!7l^l:^r>-&NI| Wl:ԡen2#b EЋwj)ZӭsZE/J/7n`-gYZ7zXZִF! <-]ŗXi%>g߇zNI)}Uі`cxKw?)㊭5Z8 S'@F<r]9ȨRՇ71F~+-xӵjP[|-о<2Ѳ ZT8iF, 1_NV7$dkη]P8|jǵAT #uejN|Ñ9#sz[^)&~*%gPWv5 fѦh4%m'``q>m8&Y[WtUW1ЇFM.lz>ZSSd&C7 Xm+0f:W4vQ "i3v]:jY߮bH_R3[Q,_얢%,w?izd^qzejs61Hmi]PP@D`J*u 02_T2Uؒ-9R=5%CoD}5.KN`\ 2mz2 /yCi%K$ K>Md({hV2zI@x1>!rƽuAQ5B^b|rd']9Z ^ ?,뷒Oo|0cz_Xd"@E20{u"ᄃ ?ދ=Gi7\Bg+f4{XIEeqюw*xb ~WnlhHܲD~שZx:gYZ2b1d3a92694f83414e2f076018ae6fe8a666e97c665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b 2b0ce4226c02e5cab6bf000937a25bdcad9a1588 / First_Order_Terms