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  T+  ]/ Binomial-Queues:threads=2elapsed=6.679cpu=11.460gc=0.644factor=1.727zXZִF! G]ŗXf1-/6vRZkc- R0vPP OA50is|bagΐ̊R:\P GUHOG]N!e|edE&Nn/s鍡Uh5T4$t6hۢmyKO3}QᏂ3YI^^Ӱ?<3]g`Sk/l")‡*N"xN: :f@@umM,Ϳlԕ9!V Vv*?`&iVe30 `gYZ7zXZִF! y]ŗXiɟ:Jc6Gx&?==Q7#OulΡqO7k(ޛntO=%~flO6[eSQ^|m1c~zRVK :4gYZ7zXZִF! .;]ŗXi%92K뛪X} R壍_N]k紖 `! ;A;E!~& .5Z"DFqh?7v+剶N:4x#I0)Z^rOBp2~y,H7d:IH)ۄҭ3v4D2iĻۋ0rܟZ)ax"nGr"\Ֆ˸ZX0S`'BwED 8{N37pJq)=:YOs#T3>Ad$Ryu(͙8ZEWS`ȤGk1⻳-]+㕸jMss>A"%6Gl \&!d$JU!v-j\ްGOuUhb>SaCy?NWUv70:-5bJe]Mk?(28=>N#:hss:WGG~h(ԶN͕>ijkш+58͍1 m/-ز=ş2?>|M?>wF[KP|w3/gE?|ɡ~ABqPCD9Acno%F!Ii j*nR|*ZXCAn{+|8QA#PӔQCmHSo 2L,Ѐ}']dQ*!DkGspS硭}<]!ıgYZc5d3dcefa8944985cec6199fe464692ed0cd7374bc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77 + Binomial-Queues