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 gg# LDD ] Rewriting_Z:threads=2elapsed=29.322cpu=49.884gc=2.236factor=1.707zXZִF! `]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^?"B43C|trC^AKT>"ndoVy9O*SYtwEp;^^'Pf"&<'f20Rj6?7FIZiEWO9]Ŀ RZ20 Wg#ÔB1Q71ŗcq:DZsa/z k%s!A3/kUrȡ )^K3g/1Mi:fϧqu-fS$9FIP@`3/Xe26å$4Kk:b;[=#w+"n!pa[[ l|+MɷF2fƱQ2{i?YUQ6l N\.!\tj+w[ &$I5_]R֮@dJ`w9vj>(9 "|rO]^_0$_GdƌCY&>UF[{^ T$P;!qE{2]DxM: o!31U#t7"`+{1b}:53y!Ґ:QIOWEGzI{{M7?<~ST5S,y]ԺAfYМ>^l82;{c5yr,gYZ7zXZִF! Z]ŗXiɟ1J2oeTʹ̰KoWM2{S稷, mǀ)+=;9VzY5E?L'GQ(M7f(tyG2EjVVdy=*gɭ"K>7uA@w 7rA2jp06u(>gDMn7IV ꇕr0ۢJ艔[M9Xl23< _]FKE3!M_ni`eO_!/.MH8j:D$ (8W-_S;ecjiqMĤ1Qö#>uX׻4իX<ugYZ7zXZִF! f]ŗXi%92A"5$ GWi1KFrJ`ţiF,7W/ʖº{YFغ"&Wht|zjG-t]v-XK&hqiǂ:gFr̸(V`u`E7K_еM;Hf9ܭ|{Ժ:|D叻cCAzQ@1)H?7¥@}M(AVZTKb. yv8a 4"1,ߍ%~Y*ws`to ĩ#jk4 ؑ]3wt_أK09ḂL3Ut>O˗|r8O {+]g (\z5:m}ĩ~kB\ɎD1vG$x\h9>2zB~)d4dmhh Y2Y-]7]VlygS-?AѺm>sDG,N#0rфp#DoMȮ9HsuY qT1>FÛWU