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 ee |< Y% RSAPSS:threads=2elapsed=24.856cpu=46.016gc=1.444factor=1.857zXZִF! H]ŗXf1-/6vR[Nk#\S\HId/X#G̑&DEUp>+Χ M {a޿^6 %=P/@kHyGb~ wfrz7cv MDjB[Z?YNܽ,k57ƶåKjn0m6D9dykjr8=&Z$k|89\nj>ѳ%Dl cN0}7E iL0ʼnnܬCɔG}c2'{{Lʹ :MaFcT1m!]UbxJn&!i\NePשlyN \^ >0XHn?k11*8? ~D?5wgj/ 7ju\@,1D]CíB~t1=<:{}y5Rek0aeu$,N*{h ݬ,\-v L ƒǗAo05loJ;S /C@+fg#!A?]b,u:Ef&mECz,F7pnb5/.gjר #?$QndThs 7p|-G-iwl7}"jjF"Ilwxg,`4K1{RWh g?r1}c͋רmN\k 7ZkhsmlQ$xaQbt(%DyEI}4Z*yDЖg7z]??K38# Uyš:NEX9l)w;Yց3a6Xr :Hx?e.Wu0TjeQ\0C&ByV<[nժ0_,D)ꢄ{!F&<0!EV՗ؚ$)R 6'8 Z#?ъց4gSS~zW'aWGOK^S_0t8 i'r10Za?<9,'֮z+òvGgq8ɔGXC^P^IUqR/zvމ *-.8m!|ᐵa5D+e|Y0mr[, G BhgQ?]v{*Ng#;Dj/g"|^ӵZn@Ipp $ DŝyrZWCؠ7Tm[ YM!BPkY}=!9fIXr͍񬳢nbmsc 2(gص~.V`Q.ud/h[2 6ՐW f<͙PжŮf*p!buю?l)UE `6 3f9bY߾ NMь֧%8<&bA[ba;pSwmbAR_\';pӉcAyط\0$㛱[־< [ X:y?o+wFwQ,l\ݰg8|KSNvTP+-ioKw+ߣaaMW-= p?0o\NۈQkz(a' tRLJ