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 c/ ,| ]/ Dict_Construction:threads=2elapsed=44.924cpu=60.292gc=4.180factor=1.347zXZִF! ]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=!C 9"@6+[XZvS ǵB/d܄ۋl )n~GY#2P F(3*}y׋ݨ & dζ̈́GQH ޴_-)Wc4lП%/τS*27yl|yMV(-_=ih7G߿}DA6 ƽBqзZV|fɄIƌ_ "lD#w\NtSl1};6XC&a~k`ӿ~ŭ Nܖs1!j!o+~Wnk'egYZ7zXZִF! sw]ŗXiɟ*#; )zhWfLpDl VqlږYj|Q'C'?$Ibݕ>~ȮRJ^ysvȃ>$j%#PwBXkZ;9Sca<LܴyS,LͅV ERՓLZ)ؙ{8A37Іdcs rFxtޮ1}G0_upw%JH z:@AMD'\VNOd?Qsns) LB}O&CEv"s7G,IgLPi{3~eAYAa7gYZ7zXZִF! ӆ @]ŗXi%9(PKYJ)m6xR5٘rr͌[A%{BBV K9\Thl/pqH4zByݘʼ9E#Ѓ2f ,h%{:>ZCظlnmބai(CvԈ B@&|+<.FֲݴA x -h'ˇʣf+!f rĬY6&n3۴UWp"Ў&mF]@a51(V R)9(7t]=k>T}ֽq B/CUOO4t>spF$ϴ62s*7,(O}aINE@p,RR22t<-)a`gSK /B߻m 2Ŵ qy ֡dAKux'o t ohkǃ@(W(yt?4k'Gs%A4nCLi]~lAUpDb7y؇IW"4nrY1%ġF 7 PP0xqg*HŖy+#%T5[X⡫>h`ЛpLYw8~NZd3g}2 ѓbQvDCp!ضrSufFY[n ~  !O`v9(+<['\ӪPe9*3>Ձ<3pLp-jdcy}ǝ%%(!`YZR$i<IMG5WcNS-[+EǍhI榁s%/"8!%?tbEeagk$,} ʼsk$Z骆Y 4&I gHW˨"=dm'(>"[ NMte="D'VNn+鳑+Cl$ufbx!؄KPlھH pxB]XAH-_)!riJ\;?tztN}Ab3iPpq, ѝ!2Xޤw#UplaxF=[ZA Ԥ0‰9$X>G"<>l>_ |#[Ɠ\"n~ \ljlLVӔZ%@E[GGW^R7UXN$فyr_X/l[c)zO 4:h7fJ ɘhHbqjWE{'ʇļX!g)9n 4rXOZeaeȮ|B!<httyNɝD0GY1LXfsz{@#;bJ" S@u}rGhɝ47.?\ICڪ@`h/y4r\2 @#Nj$i\ ޽ T\=LI2h =H}/se/>GcP0̛A{1">|K!հЪ#NGॉXo1"*n035V{9 >)^UIxeʨG;̦aLfjS[Yjf*zP [LNx N*BQ}]+Ac=Eşgy# Ћ'Hٿy!5.0B*+4Aʊ>i =t8X?2nD3VH,&)\ 5}4m)Z;gYZ6700beebd9ddae17a792331387b26fd37405583a620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 / Dict_Construction