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 pp 3 L w/ IEEE_Floating_Point:threads=2elapsed=21.697cpu=33.044gc=0.592factor=1.527zXZִF! ]ŗXf1-/6vRZV"3%]r> =GX\sY곉 aEx:;w.7b\(>&˅zMv/xļڞ(,<`;Jt/ǰp!?T:cIp%/{};K`CN$L -T"AKh=GT`aq^cgQ;zDtI!3",aAϕy&?K p1xJt(R*i M!R30*L-B/Ds%ܑ\&ʽ39R"q1opc3"\uq̼%rp庁x##W5ͭ!c<:8h#?z-gYZ7zXZִF! p]ŗXi%6yKJ4tDm9dxʍ|ǁHnOΘNd4Xv_)P[ڽszO~:r6&"V6kh^eK0|jMHA+~$MB!m6s}nԛ8xS"YTM _\̐dsc^dpՇLCB#FP7k;\93QD)HBGS3 l<".BX|*W|L"pꡪc&m{WKeR?Mi+ӎWp{rK6 4ji'a7CMtA7ܡ{̍C^NOT*&(LZ0͖"5-"q_~~z ":Pt3N@?-.9lbFs"GMwfEi˫1Aw^ur2@VEF%M[&о/63_|g+R9k!@y(Bh`%Sn\PlT˺O`]@~4B1@G+HkY?Qi!@3ws lEs]x7Ɉ4m<}FU8VJbg]!~ۚ[M%Bk':=֭G6:s7IBYY̋$ڮ#H \"B{1CX榕F9y 8=bQ #hapH trMx HJ0@h)$_Y(0:*AzX9~/iS]9y|ag{0jbC/]Rl|Ɉ?(!x!Z[+ (9]$㞑)hP՟O_Q\n\*SaW_iaLVQ9RM:ACmLO2İjj}õ<tĊ󮒄$ui HGړTjc ڍ-ǩn,A(2? ʅNA~Y>Jծ:ݢnr 8Þ<~k3y`l\t 3gYZ52e58de7f6f6fb16a6433604b7243bf110cafc66 739604e7b6371eb898e1f79ef9e18c789ea4195f 88d48bbfc3dd5a979283b2237dbbdff2a5915fca 94eee150f6e23efec055b9cccd65b0bed6c814c0 c305d1519764c5f5875553ba77696bc8d63ba3e5 d1f859c96d5de7b9b56cf79764e40635c7b52969f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24 3 IEEE_Floating_Point