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 JC ,  ]S Comparison_Sort_Lower_Bound:threads=4elapsed=7.136cpu=19.752gc=0.808factor=2.777zXZִF! ]ŗXf[&!9sA~2jP;QJ:k9r MƔڮk:*Hu7^Ο$X4w0s<-ȵ4XKZ0 ߏ8A|8~Pa,o,bZ4i!;F9Ap_~=lW!G24:^J [Zd_|B$ khM ,p~x`8'I!"&ees? V@y7[}o:i_Vw hYU(_LqC pV/˪[HS !N E'jЈ,3J⢃a` QYul߳ ӓUa.v gJ" XMPD>cP$qXLE۹ȏ|vAl_S;P7$^6B^CjsCteݖP=ͺ"ࡒНծs^sXry$)AIx\rO azZHQuKFwV`>$GgYZ7zXZִF! =)]ŗXi%G[3ˆ/NZDU7|êX PQ%>5\aOAgkl6xuS҆䑹MASFjG lvqvQ~X}ӠS꾈,og܁)72DsV͌y}[lti 6dDsi[4EU}ޣyE>f>,ֶJ T! ,Y;.=*fmrv=p b,y@ۀ_kƐuKAb3ƶ1>6`Nmm MSn3 ;2/.+p.Z}*;vˢ {$vӤۼ](~Ae(bg+Rk-as;P%߷(E b|m6-U D[ߣ!۬ ,. G$}`uYod&_#֛(a%QS\JE}&Le(IM]HlfZ}}>,)K-|G>v ЋF\CN|/&BjSlv^̣+x/\LB}3he05@9i%&Oݽڳ%6-ybhE|B߇N. XwQ!EJJ+X>FQ.my u?ٟ[5J@QOMXhgYMfbysB < d5}.lxGv(I2 6S>͝'Zxt؎'bWt jҳxpG"X-% ڽ\X(\&qΆRgJ44$رٔGR ͙)CH{<obnrZz^؉َXS'b9/C3#ʲɕ܉׃h.-q.헔WAQ_O!:)n=ǔͤA)_T888t3ԓ ,]A5?O$&sKK$yvFKH1dMƆ*~gpzuQ