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 [# l$\ ]%]Random_BSTs:threads=4elapsed=5.924cpu=11.220gc=0.376factor=1.897zXZִF! u/]ŗXf1-q恈%kV^M[-dwPt#`Nf #w\ӷSsxμ3][0Yt]$Z*EPκ+ !iЛ@b?nc>fK85; IL{ʣ#ac rII NF-Nsv23\mkŠA>SBohHnJr~vz^I@ѠZ24Ys-JtIXNoPfoP} W\+>)a<ʃ)#&#*{rEZ7żc'Ŷ$Bv:FR%}05)"}=l n-w J~ r[UKLU!t,f-s=7KJX ;Z/0B 7f. EfּYޘ1a؃da)';!.Yp\m2u8V O֫h?3cjq<\?8o< JIZݗv9^s3?8w_NJ:tW!pT(_Ogl' §g 3Qmq/V^tv{iDh%QDU}ԗ%[,ҞA7'Ϳ ށfhanAkUl+WX QC_W<# d o(m&7w$kLL q[U5sLnjɫP1$Ruu[(,Ph6'Li{DG:q̪ Lڗ8"r$zCYa|XȖ!`&2ژW ߏ=iFcf|^39^ǯ kʇB0S3l1DG6ne_qz| |Dg؈;kۿ8 yo(OulfbSkKf Z2o߶,kc'%#!j9|ӫ,0ím:פRh|"݆moy䒁g7On cwbD5Z A%a9M2 qbO\!4Ylφ!Rr`h{VgYZ8c446984236962ad68e910c6ea0b724bbc95bdef13f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 9cf3daf8eb9e55c0bdaf09aad5a6bd05c171e50c 6c8fbdd56fe1c6c0f656d6d37f72edfff07452ac 5fa90c25cf17b159ca18288516c88f6c57f948648137258d96deb8a58594342e6701be3e64bc6c89 # Random_BSTs