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 ZZ#3 ,d ]w]Applicative_Lifting:threads=2elapsed=31.984cpu=53.688gc=2.976factor=1.687zXZִF! 1]ŗXf1-q恈ܗ4ޤ9ũBvp# J}Rц cAPZc>cṼ `?dO9Fu/LÞyIV{g~2^MֽhnE '/EOJl_ޘ)Qlp )Ӑ%sQ 0COk(hgz9$8 6e-bw -q7  Cq̣5}f4 YW.]׾Ι: E aFfqR26^D+ GѮWW'x4g! hٹjTmKp<(km C6 oCzcZ9 cڑHtb$5'KAF޾`!vyeW̙pr tA3ІM|./ uV)O] 1[o#Mޞ?{hGD `7Z ~fz-{8a3b{)9JKǛNmڌjhv$ _L$I}G3}F:pꪯoWLxe#h߮^ȐCq ;I<  #_e2U[w1ђN~F=SzjQiYf߆xR{d lE5e\kB3p6pQ_UqG` /Q)e t"BUe>$2`rf(.|ƭGD/8uaJħnukSG h~̞ɇہue)*arÈ*($<6ZUR9\X oqQY5.rCm^ټ]WIx;ˉ 8gs^P'<5ꁠ]PE5ZNIҶߊ 3,}YWtsU_HZ)̇th F>s* P%DhP퐶Jjgy~u&TpΈ,7[A ^fp/ Oax9mhaC'6{4@eul9E Hk.!aLn$Q`A!32/Ȋz.'_u湒!T!*B`b4AP+)xѷ_ [#g5 ~,:mпɤ4hă3-MsKjV=5*V;+5kyrwPT=xSe~JEA3T<°%;J̱DbStpf_xyR/.in֪!w=QSX XLf0)X: n앧Eȯ4a 0qfxmZlH~ҌI{cW]>}-eԚ@ mmW}#w"/Np9M Έdx4uÇBVX2PIJj:`pY=,dR܁3C%^BѡwdN"G]@NG`xE32=f!1OqyloMqG(]xEkv2<S !q qU뎜/wug%ͼ u`Vb DL0̓%P34kaouFβqaڂw52_D6-f{L*L|yWZFa*d84 A0~rjT M1(o֟LM(ǯBߏ %w?Gvc+֬kkf|ݢlYlRmE%* I%Jvd(|ɲH=/}w8>9sv s{:2&(ȹ_,vNJlЌ`@?}ݾ+tnq=QzfT<#[BΟ;NpL=xRF_I W|AVD ~L )t`5YgנN$FzAmGPC'CZ%uҊf殌,~qt-r>C|W;L0ɯSѼ OL"8 .A+ 9IEhd \Iς> g y<$0L%zT | E23Q\ w ՙ!PޛRCrZ鐥ihKs<Űp%:fWb[8XC)oDT!f*3?M4=LWy/Sz׌h[KGw0 GA {w@wuZ<޴ObB*@_kP4ɻȲgYZ65525d3bc7f7004c7500c60a40c52808680d3e2de003033e0a1df248159cfae37f3521344e99dff4 e58c0b53d135d2468d83139943d3835239d94d2e 59bedaa090758dadb6cf61e44de79f384afda49e a74f7609bfd67dbd153c851e2bb135000e159cbf 747e333270518ce60c15dc34844eeecc95a83f48 c4a2d1cda80a58662c70d751475f967b0cbe5c743143439070925c105cdf40ab6fc73534c719a709 3 Applicative_Lifting