SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 w lDt ]/]HOLCF:threads=6elapsed=12.343cpu=35.592gc=1.976factor=2.887zXZִF! $]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VBA-QNhQgg:T&BÖk134z돂M|UMOI<:mq'gVVN~t"bGD៘+l4ѧ& M@VK3Űc=n m$+n7I2v#?hBv2O2b_;^nsNJ@7}Vk|6s!l8zeut~hBv.Wh`|[QBZ]b aGÑqmo`E(bK#Y=aE{TQoktɷޣ}]3ouV\aђxzYs3"X[nC+I]CGXit@Q82F |v^Fiu0`0$)Q.xv/"ԅ( sts{5 %wY^ o+>._58x4XFIʯ>R+acԅ\ј!yV"cX\޴[5\yњ#,m1m[AB ŧ{.CeɴH4xgYZ7zXZִF! \]ŗXiɟ>Ӈɇ9S2]Ux>z[RZbׯp3΂>1ڇgVOq?T&$*_alJ(" X[ OXUE7 ׫V290kCp s2%[;0$l;+‰5rȫMIY&4L\*T5ַ,"T, 6<2mvT}=s2%2%g}?;9\)\m4V3L|zJ@]dzIVo's(5,{fв PE4JJqՙTu-ͣH < kV`;DNI`0]ǫCb.4=*Ōɩ^`AM y%+<;俭PZmB\|Ű }E^Cf2L썈ǣ0xBr+|\5p%0ʟhL6<@*}E~CYT0Nq!x%l]l'T<}Lw7`H2/n-j&]y9ytuҭ V,•Ŀen>( 1*a$VP u[7SukW/ϱ5gYZ7zXZִF! ;2]ŗXi%;%kEzrjhwkQ'+vk_'hW'w <9nL%#_rhn2Ħs>e]Q'_#<頙E%zmz&*mbhA=EL sĩtmU/g m+l9-MDU_5?5gȷap:}0U M1kAaڊUu܄' E#i *}g!iV~ySٕI_קsаwH6O-72ݺ+|רSSں|㍉ w?2ƍT(,4F3aMĽ8HORu OS/.ھABhHG %nx x۝gᗹ۴ t=JAOmU7]L'\U5ꦾ}%GnHsNMNRde{A//*+QmG%Mgk=hZїU:9vI!aG <:RY%è$eTHnkEP.3vY9:>ZFhJCir2J O@7w~M *{o5TSG/$ԇ= S) A1Nve*ƍ,!ۃ}^2M 5TN2NDMs f0.wkGzn*cl>0E[`)KG S #(Pv}K HGSdÌ|z;b 3'O& 7Ѕq}Z=.A5/.66Ο ]vA㳸!B45>!koigBX 1#?,)ӵKWzҰ?i&?/eüyx;`w:]K8$%ܩbyvb$ձgYZ70816808586e4637f9654674e0e66fa5a8718451b121211610e458dc97d612673bcd7347cff880b9 1a49b8a85ced53b842cab647e6c466047ce342b287ee4f29e7be4c0a09eb8465f77d14632d23af08  HOLCF