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  e eM |\ ]]Noninterference_Ipurge_Unwinding:threads=2elapsed=9.252cpu=14.900gc=0.788factor=1.617zXZִF! h5]ŗXf1-/6vRZږech-`UMqď꣮BYmyIqJ'\h(Pƽ*rd\3&)ݛT+̋tsndݧ\.8$Hݕ&|W _H+Xa' =X!u}Vdz FX!?W1Gz%e*R񎊰CF_ 4 Rfb$]ۉϨ-DH9h{Ҫ?M 5ΰuIϋq=B$e# P툽6[vԖ\7kgYZ7zXZִF! 5]ŗXi%6?)E?,a;PWv܎BNBp!?ׁwxGON_++vTUơm (@,tBrS*D-i7Dž)B/f)]ㆷ/J0W!A( # 1\sF"b~\>4w saީhWms-.N??|eb:?yQH xx,&c5˩%ـ$*Vi^7z>3QeX{Z狢~Qn3Woml] ed> =<\4G&Wo~3^_wv6k&?QgUc³OuOnoc {Ww96q#)vޡ~u_k6&/ASԿTۡ6a̻`{ϝqC_!)Ȱ:qiw _v4w9(ܘ;'N q"L>֘K79?(3B=3̖a:iyPOя9.>zd/ K ]!ՊtlOLuTV C% aqCnV%j MMnY-!!ݼn_Р%絃P x ӹ}g"/9g,Y⏴ fɡ[9WmǕHVm>eB[! N}JWih;!JškxD{gYZd7b349ba9a4562ae1a19456bec17832e5f937f7ae003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 0f3ecb2814e11bef7b8d3a118ac1cdef29c4d68e182f2247e57c7020fefedba87f74f7510c825064 #M Noninterference_Ipurge_Unwinding