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  &7,| ]/ ComponentDependencies:threads=2elapsed=71.994cpu=138.256gc=6.428factor=1.927zXZִF! 2 ]ŗXf1-/6vRZyߧ{nOJk )'}#k V}]a<^f!V{=7~AbAY~JzVjyt_3[Ё5g4&8=o>yMhKdJy9tĬEj~ޘwl!UxoHڛ׃y#:؁>k.UI4sO$ 2!̉+'Kϝ_[<06j#gYZ7zXZִF! Q]ŗXi%6֏@D{vmY5mrFLcqxE=;Kɦ@ c ZJDUnj³`0)զh^&op= 2+HI23p-jAFV6 3G0guiL-'׈ biC4@3j!X/,.Ҙc)~2:loSBM(vhC u>j;I 4ۼ[G:pRUκ-v> eRӑH!cp 'S264_DJcvKM? cN2#tx>+*6wnۨ-^br __6sD _#6:H_0tgN+[&UpzwCK},Px{0t4S԰;6)JAYɒhb h(ž8Wx1 aIUЮۃiFg#\dWgGz[aTL; U&M׆Ÿ&kcL'f~=hsZ+"9+>(j?xjw>ohR,uꮼ#Eך{4G=< YyeII !Х&KT}D#mPb(c!f3t55Yc+?ۑ:9?̃ŀnx%$2ʍi7dû,)(nLgLDZU <\en"K# P#z-6wT*fL9D*A@jΖ+V,QVr<Vk(3\\sM&F }c2 ͞"sm[D|~JW9yAӯwaI=%Ca¡7r:@o<͠B}qx7R)5Ǿ2,1K>933t$1]κRAHswB&s~uU/z;L =!7H;^rzX|AviFw2JY .JX{6CH"`qL~)EAui0vmr) VjNUdUmEʟav| HQ7)Km,[&IJX_vm{>LR_.dwU ~P'>>+?H aS jzc*ql.LVdjegsR2VAF+Esx8쾡5փ"2Ҳ9G״8̙R6: ]} F-HШ*V=,t:UKı_SUq)jji{롳U ݃iŇHE~ywu:XxĆ̲tJs=6VKV:u˥\| ͶbGg2D=tC,uѭ 7$}gK,gYZa6bc78684be5c2a55ce9f39e19a3b2e0ab2e77b172476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5