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 WT I HOL-ZF:threads=2elapsed=3.727cpu=7.284gc=0.196factor=1.957zXZִF!  ]ŗXf1-q恉 \ C K*spj Lyo {#OFc /L g#!D$Ao'#IHv~k@NA?==h Xp4d*+h1Ƒ!r#9]B)F`ʫ\y#WxiEq% yP`ǥ.%8k'L(ݷ_5.[XR-z Сt+ zM7 äQA6,F&+h  k#h=GE:^ \iK=H ~FDЁv1pFobtNI'lr"z]Im̥0aUn,A@SiƝ(x˗6 6VNePa` $\ejc3ַtsq CT!yL6apmgYZ7zXZִF! ]ŗXi%k= -@0Am}5 `Onu?ދZu   HOL-ZF@i/zi"Ҁû6`q`Ha@h#*HL7ULTd|<#GQ{3_D 4Rl]hѓ#ڶ&C"v )y#s wİz!'PFPev Nw:UIWx`0}<8SBX7uU| JE.$=w>TRn|ܕc/wa ݿͼ8-L\0ɌB@r^Ixì􂜶LI?"yRjB)V$cDϗdYl|'X_x_Ļ=++oKZA;%iװg=63A'l4Ҵr 74](HGV4pGKب{K!vq-ٲ ۘ_5X/ul$%m}[YaפqH),ۉn&4~+ը~uƎ+BD,)~42f"1$s۳j?KaI?}Gpzun8gYZ3c14dc53146f8cdabe471ef4b5c6c52f622bedc1 86fd7da255e0657d15e775a7170bdc58487beed1 91070ca2ed75fa7a551feb0ab60472c9827b89ed b5cc46d4a62f20ef6119a9851a7ca12f33a1c7a3 d4ce4d0c7f1396605d8e07780c2e270a04a0d28f f061effe1a39aad1953557c0a1606fc8143f9a30 f5e82ea1c278f91f9937efb26f3b0956a096c71fd2fbbb72014e26de66d280d7be7d08deaaabe52f 8cba64bc01798dbdb9969f6de108dfc3cacddc4c bc315400c916c04295cfa60734d24fe7f303421b