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 + T % Card_Partitions:threads=2elapsed=7.070cpu=12.324gc=0.176factor=1.747zXZ + Card_PartitionsF! #%]ŗXf1-q恈͐7ӺV GyvpP%; fQFx IR'u 3UJEB `\t׹gFTkDOVs^:]"6V 7~4xs9mmm:Gb[q}YPV Z_nй]Ɠs}҉ԋèSlf[\(^oO5$X +?${9&g>BPLP.YT/RW g>o; ī)tBHs59P_U@lPsi[/ƣeS)4B[bvC_Qwa'|YCIYu$5 o2ӡˡ~7qb/& [IH6G?P?pgtS--F?Y.A 3cEEɍF92HFFx4"+o73"%Z%9s*=Y~A5mdpsFZ;lG:W:x`*=-T-62GpZټ~ F>D#!c3bѢxv 荂SŰHK/GT6 v wx7S}B0ݲԉ`^:\M&`≢M͵FGfgYZ7zXZִF! ,]ŗXi%H_c繨zǃ:-J `v4LJ*M의 [VO$U%,샿i"/Mik hۦ$i[remLHb@i_5Mmd,|'lAklcDBQJ)-(g*0# p߉l$Ͼ@h. + ﺊ,vJ %C# znh]b(^ZK@/[L;5􉯋mO^c  g9YP1 3Mwyo:z:R_S\uFv[.5tmBGr lfãSdt\N_䭽QҴ2w72_UA1{ZKqxaVEV-y_KL$8 )986 !_5.%3s nWN\Wc u[2ؘ\Ch;ے݈CNyuHf {35KD )O/[\琽5,r7789]qW*&eCTIooKC{N#5c5Hp|#>?-^n"~>@DJ:YB±gYZ2db5d820e2315d27e7eb764e61ab1aca5aa370d2 3dd1eb530c3c470b47ddc4d434eea2c5684cd8da 562d636d00a59805c5124949c105325f55960d9c 96065b30c9db112cf55bcbe78af20aeee6033380 b3a4e52b308c1891fcabfd74c001324d923b04838c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 35c229773512ce6fd1fd8557827ba6e671444663