SQLite format 3@ .;  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 K T| ]% Random_Graph_Subgraph_Threshold:threads=4elapsed=7.483cpu=22.644gc=0.468factor=3.037zXZִF! e]ŗXf[&&SeI!RB8$ }iˣ"eq1Jr> <\ڭWʄ8 nWkܰ$_ְaL~p%m;o(Ǽ?\'n 3K`t? E[q)[ "ZfjbJq$ }뷃 ﴼK2ۭbwxb# I Ζg,qEa|jfU#<\#emWog@NK=y.ͪ rNV;2A3})ZN._$nCJ)3<=)(JjđM#,{C2`gYZ7zXZִF! ]ŗXiɟa'}@U0DxxxU hT`? 'lѷŦ98:! ]'W{X,_b'9wEs[5".;D&-^4AFFY(=}$. 08cih8>.^m7xR>>_gYZ7zXZִF! ?]ŗXi%I慯8-t4pn'2>8 wv dQKED_4/$15~ŷƌA:'E_ |JS>뗛t⺼w6z|B6{~jpAϐ`iWgYKaAqԫ K-\_G7KeFv:Mev[/=5UP{xڏC;ERD|0^NiOZIbZLPY7b$ݣx/b`Fw]ң1¢ nAwQB &^tdU#q7`^> ;h52`9Ӝ3LGdoC %t Y fyEfjcHeW*8l(MD b'AބibNXC@I[T<&HBV4sN~@qN & Ukw%<?lOa/O%&Z(6>ijDRbCe(u) yh}ƨdP{=>Kvgsbb[ 9KxS3PZNƑD~ʆe6:6=`;_střmlBn uKݜ:B."?W܍=fXrڣkS8`tjCuvoA0w(us@^rpXKz9GNjdRɘX/ߒ/ (R!}abzhe'#Wu˓&aRʮgŷ W|Е Xv[h BetյnF"!km~1̀%G,9]ηl?p?o"֢Rf""U~8qH qDL-fVeyW %&ѐD(Qp eu( >YG\78 1!cI7z'Yf8^ O[Uq FKܞSEw]-uepGh^>vL-Q>ZZnF`mPԍX 6qgYZ05ba736e4e29f13e3176996ab736492fc56329695a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 d92257d35e39c8204c9a3171ffd1fefaa3a30d32 8b95958ef3078c9f930d3273f90bc0907f6b6318 c374596cfbfd97017a7b63bae283a61293a2b658 "K Random_Graph_Subgraph_Threshold