SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  / /N3T m/ Partial_Function_MR:threads=2elapsed=6.851cpu=9.384gc=0.420factor=1.377zXZִF! "]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kLJ 8U^(fDwR\lwn?śyܭ7Pf#aՠ7=TKRMHM< V C"I0WZ3&%Lh|6>:^MHmE,V~puT(l2>6v#GbՃQbR|rϠ\M.jA\DpK}78xxnr~hT(YC /gYZ7zXZִF! )]ŗXi%?DW=|QI`əI|s; );d!^sL J&Ἱ/f+DM<#iE? x'9Q|+ HYI_.Z<#pZ\%$.B 2B:4;:;PYaN&6k'~4l?lǻ>(oQjLiT9b+šrHK2pkmE]]a{ɀRQz6COoj}C\6.LK:Hx8Ԕfߞ?hx$ٓFȣ.Y3`\m80loinƱ >G"p`_C/bL?@ю]:"|v㴚%+>-C4tK3bP3,"~NbQ:T^" }I[}!h8P=@BOգ)"iX𠝒Y[hh$b}ܱ`)bR[pV^u>oG3t | ,