SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info nn3 T  Selection_Heap_Sort:threads=2elapsed=12.159cpu=19.460gc=0.724factor=1.607zXZִF! ?&]ŗXf1-/6vR[]_ʥ4*M[#M`m"9%MA8".D٬sM% BǩM;gp)l lsШh!| .``09qb?P)O爦0+]mx^~V 0xvȉzaKxiyߜBCȁSi.0nOx1#vE$ qD//(2z¡CY$QR`0*=phETX@} 2G_ M4g6C|>Byh,kCȁnux|d3A.8NXsR\u;h'/^\=U "<#s.ڹ*l J\j)نMDNH~Kn _p p4Sdҟge3 &E>p, 5`8OyRb=iStdD4(dqC @r{p6cniNe2Nv[ջQ]ñ͑گ^a{!Eq>ecV(|gSBKM]pc4O?oٟ&\CLI 3 Selection_Heap_SortdqfWmIR0vj?9%T݈XvdhMu_+LR.EE k6;n~m*U/ҪMg-[.Fc= fҪ_2 ήʠ1GO)Ҧ褐Wi {Ə R}cuɖ9~ tVNEt }+(Io2oFLA SJX1S3wL nl3*aܑꭌ-B^3 Pv FWRR4|(͞ܙ>,1 ;wuGB'h_4Mzb{5K΢W?2c.5$ AY|c1+aPlCe_lI[sSfꚹgk-m . kjU,> J<ܸ!ԋ:I ~_egYZ7zXZִF! C#]ŗXi%HVB ߯(*ķ<$$}HێO |P+ 9_'j215fH^7d8"ΖҮFÔ *? D7ZJ᫋.m؂:PnM26B\!3͖%~MzA/ "n*4Cz9mmnXpE|8Y!0- vS<> {qysIG0ju~ר)hd-u_X@;wus#io QY ` DK6zShN VKHmz];ֶKN? 9}K>J R~ɧi?mBNLl%I8P9ViŖK#qKZ_=p@|,mb'hv~\=oBln.(򑊶`;%5hD`+ILhk{&'@gBCr$B&򓪍RaO'CqǺH;Ø!@Ktq1otΝQ*fxoe38ݪMF94~X[C sQ$͏2KY*=l+; JgQԽF\ l?lHbB /?Fo0"T97ׂXZ)zuZXAD+(S 5E`Ҳggt+ 95XrdiuZ$(v1՘R~L5]d&@l>!XEԛAWGo궑W!O< @uqQ!AO@4Jb--7ńB;RA1 ߕ5Ĕ/~2Wt4U-_`,iF-e%g,Ué0GT8K4iPb]؅I:}꽥 uF9zG@sK}|n{ZwɇtRf2Ġk~Vw[[nJqmk1 wnNz{۬!:s۱gYZ1676ffa397c6b01245be886a0fc3465093811eca 43df4d75898a7594d38a58028c1d34e4c8433432 7a98efdec282cba4e95e46303dea9e18de8b49b2 9b0bfdee363ab88dfb53d18309548fdde932c30a af69fe4884476a8acbc0986000bacef6fe8b57dc b7c9c849f43935a28d59bc64edc0e16b8bdfc610 bc771762a05134324001f2675ab4d55bc2efabfc e09c5735ce29a5a97d451c9f6e7f4bc820d954348c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 0421e1d9e7fe672cb0ddc4007aa564f9dff1312a