SQLite format 3@ . BBh77otableisabelle_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 f+ < T ]]Landau_Analysis:threads=2elapsed=15.171cpu=28.868gc=1.740factor=1.907zXZִF! o]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1HVs]}qj/F;OL5Kb9Q4g `Ny 7*Qpj^:EHQ@=,.tTfCaO}lV$,Wha98K7%0n4p[%܂cTȵ`7 W(_ aHxQU?*ҩ5ܒ͵ H#X6J#Y&X|{QREHʁ@`$24]H|Z58Җ(0lr0 ~(2F!2-?Mx̛( xhizYiCnQn$n$|eO#7š9 {9{:!(sq- @`"q!'*=lxo=eX{joa@| ۮ6XoHnux(-Ba&etC?NFдZuFߌ1A1HP'gYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $7#dX599ݩ3ᆙ̛Ч&jIֽ}`h}2Kx A$Z/b 8)s1E%r*ߜ=\ sD._J\kHT IP!Jz4X\].Q* 1#vO A<-Nf ;:C u5{IgZ90 6IuBdgYZ7zXZִF! Fod]ŗXi%=w紒+k $DK c!:;sYYEf$Ot^8Q3 ?$7@0teJeAL1>H{pO4&s3WO Z7m?NE<%4[