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 FF7# T ]% Random_BSTs:threads=2elapsed=7.621cpu=12.104gc=0.752factor=1.597zXZִF! d]ŗXf1-q恈%kV^M[-dwPt#`Nf #w\ӷSsxΈ3QI$ 5miyCT>i&Tf)$t=r*Ǖ`n׷_9?_ Inv%NAɽcj>^[?d\u4‚/Ya/#j2xf5x7+qz(I$;YM)]mv^M,6Yl,$_Jt/5F KJ$9:nC0.#^Pi.< j]ƻ Wv@u]e/>~6<!P5e I]`v.QPg:l*%mp+SL nU&jUP끤gYZ7zXZִF! 2]z]ŗXi%;E7q]<ˏa_H8񵉉b~-;D`'D-S91bOGؐ vg(aaMFmzeޭ@K&K=;s„{96AW8>Ƈ`)2J߯֎_x 3ka&6cr ki!NOI:J) M6dNw 3FَͽSc!0 $>o/)|*_ia|h egPN6ELTbh'o3"3C\ r47n.Jb!tT]FTOa9* xMQWL;pRt P%oז'W*u'F􇫝IEd/YEՕ zED$샒@NqT``>ïͼ}} >6?QlǗ'N'O=zP'?جgI}{Z5K" aC\>WMS1{պ]ol|󑑅LuLJ((kn^e)āw?9f:%`MPT/Qrt%"Fd%>.~*Iac1Mz?ux4^)t4QCI!`Eei"D^}4  BbϗHa^~7ӡL`8* {'GSFChkk=!gs"3]?a! FXvqb|7w@ 䑳y&#7y%`y-Wb*+¡Z sCW7'o=!dP3gYZbe4359d335612bf9a23e80cf1a33cf1c03a8dc3a665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 84e9ff1afaa7247afbeef9eb4b335fea17548a6c 7059b0deb1a41419deae0813f26171d1a4319fbf 646c18b4fdf961ca048ffc36977f3594771229aa # Random_BSTs